repology.org domain is back up, repology.amdmi3.ru will be discontinued on October 9th

Versions Packages Information History Badges Report

Information for stp

Versions

  • 2.3.4

Package names

  • stp

Repositories

Categories

  • Unspecified

Licenses

  • MIT AND MIT-Modern-Variant AND LGPL-2.0-or-later AND BSD-3-Clause

Summaries

  • Constraint solver/decision procedure

All package recipes

Build logs