Search »
Source Package stp
Builds
Updates
Bugs
Sources
Crash Reports
Koschei
Subpackages
stp
- Constraint solver/decision procedure
python3-stp
- Python 3 interface to STP
stp-devel
- Development files for STP constraint solver/decision procedure
Sources on
Pagure