2 Commits

Author	SHA1	Message	Date
naddy	570aa62a9c	Drop remaining MD5/RMD160/SHA1 checksums.	2015-01-18 03:12:39 +00:00
kevlo	e23c09e9d6	Initial import of stp 0.1. ... 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. ok benoit@	2009-12-17 09:43:28 +00:00