Ubuntu – Package Search Results -- cvc3

» Ubuntu » Packages » Package Search Results

Search in specific suite: [lucid] [lucid-updates] [lucid-backports] [precise] [precise-updates] [precise-backports] [quantal] [quantal-updates] [quantal-backports] [raring] [raring-updates] [raring-backports] [saucy]

Limit search to a specific architecture: [i386] [amd64] [powerpc] [armel]

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

Exact hits

Package cvc3

lucid (math): An automatic theorem prover for SMT problems [universe]
2.2-7: 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
raring (math): Automatic theorem prover for SMT problems [universe]
2.4.1-4: amd64 i386

Other hits

Package cvc3-el

lucid (math): Emacs mode for CVC3 [universe]
2.2-7: 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
raring (math): Emacs mode for CVC3 [universe]
2.4.1-4: all

Package libcvc3-2

lucid (libs): An automatic theorem prover library for SMT problems [universe]
2.2-7: 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
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
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
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
raring (libs): Automatic theorem prover library for SMT problems [universe]
2.4.1-4: 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
raring (java): Java bindings for CVC3 (bytecode library) [universe]
2.4.1-4: all

Package libcvc3-5-jni

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

Package libcvc3-dev

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