stp-devel - Development files for STP constraint solver/decision procedure
| Website: | http://sourceforge.net/projects/stp-fast-prover/ |
|---|---|
| License: | MIT |
| Vendor: | Fedora Project |
- Description:
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.>>>>>> 1.84
Packages
| stp-devel-0.1-4.fc11.ppc64 [352 KiB] |
Changelog
by David A. Wheeler (2009-03-06):
- Modified spec so can rebuild in proper order on Fedora |