ports

devel/stp

stp-0.1p2 – 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

None

Build dependencies

Run dependencies

None