Letter S

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.i686 [21 KiB] Changelog by Joel Barrios (2020-06-13):
- Rebuild with Boost 1.73.0.

Listing created by Repoview-0.6.6-6.fc14.al