stp-devel - Development files for STP constraint solver/decision procedure
| Website: | http://stp.github.io/ |
|---|---|
| License: | MIT |
| Vendor: | Alcance Libre, Inc. |
- 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.3.3-3.fc14.al.x86_64 [21 KiB] |
Changelog
by Joel Barrios (2020-06-13):
- Rebuild with Boost 1.73.0. |