stp packages - Repology

Summary: Constraint solver/decision procedure
Category: Unspecified
License: MIT AND MIT-Modern-Variant AND LGPL-2.0-or-later AND BSD-3-Clause
Link(s): Package page Package sources Package recipe Package recipe (raw) <a href="https://kojipkgs.fedoraproject.org/packages/stp/2.3.4/18.fc46/data/logs/">Package build logs Upstream homepage

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