Download of simplifyingSTP_1022.tar.gz (simplifyingSTP_1022.tar.gz ( external link: SF.net): 2,848,226 bytes) will begin shortly. If not so, click link on the left.
STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constraints generated by program analysis/test generation tools, model checkers, bug finders, hardware/software formal verification tools, intelligent fuzzer