Hi, The attached stp port 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.
Comments? ok?
Kevin
stp.tar.gz
Description: application/tar-gz
