stp-devel - Development files for STP constraint solver/decision procedure
| Website: | http://stp.github.io/ |
|---|---|
| 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.
Packages
| stp-devel-2.1.2-4.20151122git.3785148.fc24.i686 [19 KiB] |
Changelog
by Jerry James (2017-01-28):
- Fix cmake files (bz 1414167) |
| stp-devel-2.1.2-4.20151122git.3785148.fc24.x86_64 [19 KiB] |
Changelog
by Jerry James (2017-01-28):
- Fix cmake files (bz 1414167) |