OpenBSD ports

The devel/stp port

stp-2.2.0p4 – 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