stp

decision procedure for bit-vectors and arrays

WWW CVSWeb GITHub
  1. Package version
    stp-2.2.0p4
  2. Maintainer
    The OpenBSD ports mailing-list

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.

  • devel/bison
  • devel/cmake
  • devel/ninja
  • lang/python/3.10