cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
25a43fbe33
openbsd-ports/devel/stp/pkg/DESCR
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

5 lines
240 B
Plaintext
Raw Blame History

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.
Reference in New Issue View Git Blame Copy Permalink