Fedora Packages

stp-devel Subpackage of stp

Development files for STP constraint solver/decision procedure

Development files for the STP (Simple Theorem Prover), a constraint solver (also referred to as a decision procedure or automated prover). Provides a static library.

Releases Overview

Release Stable Testing
Fedora Rawhide 2.3.3-31.fc40 -
Fedora 40 2.3.3-31.fc40 -
Fedora 39 2.3.3-27.fc39 -
Fedora 38 2.3.3-24.fc38 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at stp dash maintainers at fedoraproject dot org.



Sources on Pagure