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. 
