Source Package stp

Subpackages

• stp - Constraint solver/decision procedure
• python3-stp - Python 3 interface to STP
• stp-devel - Development files for STP constraint solver/decision procedure