CVC Lite is an automatic theorem prover for the Satisfiability Modulo Theories (SMT) problem. Its features include: support for a variety of theories; interactive as well as C and C++ library interfaces; proof and model generation abilities; predicate subtyping; and suppport for quantifiers. In addition, there are essentially no limits on its use for research or commercial purposes (see license). WWW: http://www.cs.nyu.edu/acsys/cvcl/ Generated with FreeBSD Port Tools 0.77
ijliao 2006-09-20 01:42:03 UTC FreeBSD ports repository Modified files: math Makefile Added files: math/cvcl Makefile distinfo pkg-descr pkg-plist Log: add cvcl 2.5.1 An automatic theorem prover for the SMT problem PR: 103412 Submitted by: Li-Wen Hsu <lwhsu@lwhsu.org> Revision Changes Path 1.422 +1 -0 ports/math/Makefile 1.1 +30 -0 ports/math/cvcl/Makefile (new) 1.1 +3 -0 ports/math/cvcl/distinfo (new) 1.1 +8 -0 ports/math/cvcl/pkg-descr (new) 1.1 +81 -0 ports/math/cvcl/pkg-plist (new) _______________________________________________ cvs-all@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/cvs-all To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
State Changed From-To: open->closed committed, thanks