f0d8efcc0f
- 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)
5 lines
236 B
Plaintext
5 lines
236 B
Plaintext
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.
|