Date: Sun, 25 Mar 2007 03:10:12 GMT From: Cheng-Lung Sung <clsung@FreeBSD.org> To: clsung@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org, clsung@FreeBSD.org Subject: Re: ports/110770: [NEW PORT] math/cvc3: An automatic theorem prover for the SMT problem Message-ID: <200703250310.l2P3AC0b067541@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: [NEW PORT] math/cvc3: An automatic theorem prover for the SMT problem Responsible-Changed-From-To: freebsd-ports-bugs->clsung Responsible-Changed-By: clsung Responsible-Changed-When: Sun Mar 25 03:10:12 UTC 2007 Responsible-Changed-Why: I'll take it. http://www.freebsd.org/cgi/query-pr.cgi?pr=110770
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200703250310.l2P3AC0b067541>