Accepted cvc3 2.4.1-4 (source all amd64)

2012-08-18 Thread Christopher L. Conway
. Conway Changed-By: Christopher L. Conway Description: cvc3 - Automatic theorem prover for SMT problems cvc3-el- Emacs mode for CVC3 libcvc3-5 - Automatic theorem prover library for SMT problems libcvc3-5-java - Java bindings for CVC3 (bytecode library) libcvc3-5-jni - Java bindings

Accepted cvc3 2.4.1-3 (source all amd64)

2012-08-04 Thread Christopher L. Conway
. Conway Changed-By: Christopher L. Conway Description: cvc3 - Automatic theorem prover for SMT problems cvc3-el- Emacs mode for CVC3 libcvc3-5 - Automatic theorem prover library for SMT problems libcvc3-5-java - Java bindings for CVC3 (bytecode library) libcvc3-5-jni - Java bindings

Accepted cvc3 2.4.1-2 (source all i386)

2012-03-04 Thread Christopher L. Conway
. Conway Changed-By: Christopher L. Conway Description: cvc3 - Automatic theorem prover for SMT problems cvc3-el- Emacs mode for CVC3 libcvc3-5 - Automatic theorem prover library for SMT problems libcvc3-5-dev - Automatic theorem prover library for SMT problems (development fi libcvc3

Accepted cvc3 2.2-13 (source all amd64)

2010-04-08 Thread Christopher L. Conway
. Conway Changed-By: Christopher L. Conway Description: cvc3 - An automatic theorem prover for SMT problems cvc3-el- Emacs mode for CVC3 libcvc3-2 - An automatic theorem prover library for SMT problems libcvc3-2-dev - An automatic theorem prover library for SMT problems (development

Accepted cvc3 2.2-11 (source all amd64)

2010-03-17 Thread Christopher L. Conway
. Conway Changed-By: Christopher L. Conway Description: cvc3 - An automatic theorem prover for SMT problems cvc3-el- Emacs mode for CVC3 libcvc3-2 - An automatic theorem prover library for SMT problems libcvc3-2-dev - An automatic theorem prover library for SMT problems (development

Accepted cvc3 2.2-7 (source all amd64)

2010-01-08 Thread Christopher L. Conway
. Conway Changed-By: Christopher L. Conway Description: cvc3 - An automatic theorem prover for SMT problems cvc3-el- Emacs mode for CVC3 libcvc3-2 - An automatic theorem prover library for SMT problems libcvc3-2-dev - An automatic theorem prover library for SMT problems (development

Accepted cvc3 2.2-4 (source all amd64)

2010-01-03 Thread Christopher L. Conway
. Conway Changed-By: Christopher L. Conway Description: cvc3 - An automatic theorem prover for SMT problems cvc3-el- Emacs mode for CVC3 libcvc3-2 - An automatic theorem prover library for SMT problems libcvc3-2-dev - An automatic theorem prover library for SMT problems (development