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-25.fc39 -
Fedora 38 2.3.3-24.fc38 -
Fedora 37 2.3.3-22.fc37 -
Fedora 36 2.3.3-19.fc36 -
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