Summary: | [NEW PORT] math/cvc3: An automatic theorem prover for the SMT problem | ||||||
---|---|---|---|---|---|---|---|
Product: | Ports & Packages | Reporter: | Li-Wen Hsu <lwhsu> | ||||
Component: | Individual Port(s) | Assignee: | Cheng-Lung Sung <clsung> | ||||
Status: | Closed FIXED | ||||||
Severity: | Affects Only Me | CC: | lwhsu | ||||
Priority: | Normal | ||||||
Version: | Latest | ||||||
Hardware: | Any | ||||||
OS: | Any | ||||||
Attachments: |
|
Description
Li-Wen Hsu
2007-03-24 17:10:03 UTC
Responsible Changed From-To: freebsd-ports-bugs->clsung I'll take it. clsung 2007-03-25 04:04:31 UTC FreeBSD ports repository Modified files: math Makefile Added files: math/cvc3 Makefile distinfo pkg-descr pkg-plist Log: Add cvc3 1.0, an automatic theorem prover for the SMT problem. PR: ports/110770 Submitted by: Li-Wen Hsu <lwhsu at lwhsu.org> Revision Changes Path 1.448 +1 -0 ports/math/Makefile 1.1 +31 -0 ports/math/cvc3/Makefile (new) 1.1 +3 -0 ports/math/cvc3/distinfo (new) 1.1 +24 -0 ports/math/cvc3/pkg-descr (new) 1.1 +85 -0 ports/math/cvc3/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 New port added. Thank You. |