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: Kevin Lo <kevlo@openbsd.org>

WWW: http://sites.google.com/site/stpfastprover/STP-Fast-Prover
