cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
openbsd-ports/devel/stp/distinfo

3 lines
128 B
Plaintext
Raw Normal View History

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
SHA256 (stp-ver-0.1-11-18-2008.tgz) = 7xZWcjVJURmzlTkuMGq772WQLOOipn00N0I0MxmxsYo=
SIZE (stp-ver-0.1-11-18-2008.tgz) = 18366530
Reference in New Issue Copy Permalink