Home

The devel/stp port

stp-2.2.0p6 – decision procedure for bit-vectors and arrays (cvsweb github mirror)

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/

Maintainer

The OpenBSD ports mailing-list

Only for arches

aarch64 alpha amd64 arm hppa i386 mips64 mips64el powerpc powerpc64 riscv64 sparc64

Categories

devel lang/python

Library dependencies

Build dependencies

Files

Search