- Name: stp-devel
- Version: 0.1
- Release: 5.fc12
- Epoch:
- Group: Applications/Engineering
- License: MIT
- Url: http://sourceforge.net/projects/stp-fast-prover/
- Summary: Development files for STP constraint solver/decision procedure
- Architecture: i686
- Size: 950314
- Distribution: Koji
- Vendor: Fedora Project
- Packager: 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
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables
- Cookie:
- Buildhost: xenbuilder4.fedora.phx.redhat.com