devel/stp
stp-2.2.0 – decision procedure for bit-vectors and arrays
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.
WWW: https://stp.github.io/
- Only for arches
-
aarch64
alpha
amd64
amd64
arm
arm
hppa
i386
i386
mips64
mips64el
powerpc
sparc64
- Categories:
-
devel
lang/python
Library dependencies
Build dependencies
Run dependencies
None