# The devel/stp port

## stp-0.1 – 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: http://sites.google.com/site/stpfastprover/STP-Fast-Prover

Categories:
  devel

## Library dependencies

## Build dependencies

- devel/bison
- devel/gmake

## Run dependencies