2 Commits

Author	SHA1	Message	Date
jca	f0d8efcc0f	Update to a newer release which does builds with clang. ... - now depends on boost and minisat - ships with a shared library and a python3 module - new cmake build system - set COMPILER = gcc, a c++11 compiler is needed (but there's a link problem against boost with lang/gcc on amd64)	2017-08-21 07:03:10 +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