BSD Portsdevel/stp 2.2.0p7 OpenBSD
decision procedure for bit-vectors and arrays
- System
- OpenBSD
- Repository
- OpenBSD ports
- Maintainer
- The OpenBSD ports mailing-list <[email protected]>
- Categories
- devel, lang/python
Description
STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers.
In the other systems
Install
Binary package:
pkg_add stpFrom the ports tree:
cd /usr/ports/devel/stp && make installDependencies
Build dependencies 5
Run dependencies 2
No port depends on this one.