The devel/stp port
stp-2.2.0p6 – 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
aarch64
alpha
amd64
amd64
arm
arm
hppa
i386
i386
mips64
mips64
mips64el
mips64el
powerpc
powerpc
powerpc64
powerpc64
riscv64
riscv64
sparc64
- Categories:
-
devel
lang/python
Library dependencies
Build dependencies
Run dependencies