The devel/stp port

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

Library dependencies

Build dependencies

Run dependencies