ports/110770: [NEW PORT] math/cvc3: An automatic theorem prover for the SMT problem

Cheng-Lung Sung clsung at FreeBSD.org
Sun Mar 25 03:10:13 UTC 2007

Previous message: ports/110770: [NEW PORT] math/cvc3: An automatic theorem prover for the SMT problem
Next message: ports/110771: [MAINTAINER] audio/jack-keyboard: update to 1.6
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: ports/110770: [NEW PORT] math/cvc3: An automatic theorem prover for the SMT problem
Next message: ports/110771: [MAINTAINER] audio/jack-keyboard: update to 1.6
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the freebsd-ports-bugs mailing list