CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2009/12/17 02:43:28
Log message:
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@
Status:
Vendor Tag: kevlo
Release Tags: kevlo_2009-Dec-17
N ports/devel/stp/Makefile
N ports/devel/stp/distinfo
N ports/devel/stp/pkg/DESCR
N ports/devel/stp/pkg/PLIST
No conflicts created by this import
