You have searched for packages that names contain cvc3 in all suites, all sections, and all architectures. Found 10 matching packages.

Exact hits

Package cvc3

• lucid (math): An automatic theorem prover for SMT problems [universe]
  2.2-7: amd64 i386
• natty (math): An automatic theorem prover for SMT problems [universe]
  2.2-13: amd64 i386
• oneiric (math): An automatic theorem prover for SMT problems [universe]
  2.2-13.1: amd64 i386
• precise (math): An automatic theorem prover for SMT problems [universe]
  2.2-13.1: amd64 i386
• quantal (math): Automatic theorem prover for SMT problems [universe]
  2.4.1-2: amd64 i386

Other hits

Package cvc3-el

• lucid (math): Emacs mode for CVC3 [universe]
  2.2-7: all
• natty (math): Emacs mode for CVC3 [universe]
  2.2-13: all
• oneiric (math): Emacs mode for CVC3 [universe]
  2.2-13.1: all
• precise (math): Emacs mode for CVC3 [universe]
  2.2-13.1: all
• quantal (math): Emacs mode for CVC3 [universe]
  2.4.1-2: all

Package libcvc3-2

• lucid (libs): An automatic theorem prover library for SMT problems [universe]
  2.2-7: amd64 i386
• natty (libs): An automatic theorem prover library for SMT problems [universe]
  2.2-13: amd64 i386
• oneiric (libs): An automatic theorem prover library for SMT problems [universe]
  2.2-13.1: amd64 i386
• precise (libs): An automatic theorem prover library for SMT problems [universe]
  2.2-13.1: amd64 i386

Package libcvc3-2-dev

• lucid (libdevel): An automatic theorem prover library for SMT problems (development files) [universe]
  2.2-7: amd64 i386
• natty (libdevel): An automatic theorem prover library for SMT problems (development files) [universe]
  2.2-13: amd64 i386
• oneiric (libdevel): An automatic theorem prover library for SMT problems (development files) [universe]
  2.2-13.1: amd64 i386
• precise (libdevel): An automatic theorem prover library for SMT problems (development files) [universe]
  2.2-13.1: amd64 i386

Package libcvc3-2-java

• lucid (java): Java bindings for CVC3 (bytecode library) [universe]
  2.2-7: all
• natty (java): Java bindings for CVC3 (bytecode library) [universe]
  2.2-13: all
• oneiric (java): Java bindings for CVC3 (bytecode library) [universe]
  2.2-13.1: all
• precise (java): Java bindings for CVC3 (bytecode library) [universe]
  2.2-13.1: all

Package libcvc3-2-jni

• lucid (java): Java bindings for CVC3 (native library) [universe]
  2.2-7: amd64 i386
• natty (java): Java bindings for CVC3 (native library) [universe]
  2.2-13: amd64 i386
• oneiric (java): Java bindings for CVC3 (native library) [universe]
  2.2-13.1: amd64 i386
• precise (java): Java bindings for CVC3 (native library) [universe]
  2.2-13.1: amd64 i386

Package libcvc3-5

• quantal (libs): Automatic theorem prover library for SMT problems [universe]
  2.4.1-2: amd64 i386

Package libcvc3-5-dev

• quantal (libdevel): Automatic theorem prover library for SMT problems (development files) [universe]
  2.4.1-2: amd64 i386

Package libcvc3-5-java

• quantal (java): Java bindings for CVC3 (bytecode library) [universe]
  2.4.1-2: all

Package libcvc3-5-jni

• quantal (java): Java bindings for CVC3 (native library) [universe]
  2.4.1-2: amd64 i386