Date: Wed, 20 Sep 2006 01:42:53 GMT From: Ying-Chieh Liao <ijliao@FreeBSD.org> To: lwhsu@lwhsu.org, ijliao@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/103412: [NEW PORT] math/cvcl: An automatic theorem prover for the SMT problem Message-ID: <200609200142.k8K1groP071668@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: [NEW PORT] math/cvcl: An automatic theorem prover for the SMT problem State-Changed-From-To: open->closed State-Changed-By: ijliao State-Changed-When: Wed Sep 20 01:42:44 UTC 2006 State-Changed-Why: committed, thanks http://www.freebsd.org/cgi/query-pr.cgi?pr=103412
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200609200142.k8K1groP071668>