# The devel/stp port

## stp-2.2.0 – 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 amd64 arm hppa i386 mips64 mips64el powerpc sparc64
Categories:
  devel lang/python

## Library dependencies

- devel/boost
- math/minisat

## Build dependencies

- STEM->=1.5.1:devel/ninja
- devel/bison
- devel/cmake
- lang/python/3.6

## Run dependencies