Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
cvc3 |
Debian |
unstable |
An automatic theorem prover for SMT problems |
2.2-13 |
cvc3 |
Debian |
testing |
An automatic theorem prover for SMT problems |
2.2-13 |
cvc3-el |
Debian |
unstable |
Emacs mode for CVC3 |
2.2-13 |
cvc3-el |
Debian |
testing |
Emacs mode for CVC3 |
2.2-13 |
libcvc3-2 |
Debian |
unstable |
An automatic theorem prover library for SMT problems |
2.2-13 |
libcvc3-2 |
Debian |
testing |
An automatic theorem prover library for SMT problems |
2.2-13 |
libcvc3-2-dev |
Debian |
unstable |
An automatic theorem prover library for SMT problems (development files) |
2.2-13 |
libcvc3-2-dev |
Debian |
testing |
An automatic theorem prover library for SMT problems (development files) |
2.2-13 |
libcvc3-2-java |
Debian |
unstable |
Java bindings for CVC3 (bytecode library) |
2.2-13 |
libcvc3-2-java |
Debian |
testing |
Java bindings for CVC3 (bytecode library) |
2.2-13 |
libcvc3-2-jni |
Debian |
unstable |
Java bindings for CVC3 (native library) |
2.2-13 |
libcvc3-2-jni |
Debian |
testing |
Java bindings for CVC3 (native library) |
2.2-13 |