decision procedure for bit-vectors and arrays
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.

Maintainer: The OpenBSD ports mailing-list <ports@openbsd.org>

WWW: https://stp.github.io/
