» Ubuntu » Packages » precise (12.04LTS) » Source » math » cvc3
precise  ] [  trusty  ] [  vivid  ] [  wily  ] [  xenial  ]

Source Package: cvc3 (2.2-13.1) [universe]

Links for cvc3

Ubuntu Resources:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Christopher L. Conway

It should generally not be necessary for users to contact the original maintainer.

External Resources:

The following binary packages are built from this source package:
An automatic theorem prover for SMT problems
Emacs mode for CVC3
An automatic theorem prover library for SMT problems
An automatic theorem prover library for SMT problems (development files)
Java bindings for CVC3 (bytecode library)
Java bindings for CVC3 (native library)

Other Packages Related to cvc3

  • build-depends
  • build-depends-indep
  • adep: cdbs
    common build system for Debian packages
  • adep: debhelper (>= 7)
    helper programs for debian/rules
  • adep: autoconf
    automatic configure script builder
  • adep: autotools-dev
    Update infrastructure for config.{guess,sub} files
  • adep: bison
    YACC-compatible parser generator
  • adep: default-jdk-builddep
    virtual package provided by gcj-native-helper
  • adep: flex
    A fast lexical analyzer generator.
  • adep: libgmp-dev
    Multiprecision arithmetic library developers tools
  • adep: python
    interactive high-level object-oriented language (default version)

Download cvc3

FileSize (in kB)MD5 checksum
cvc3_2.2-13.1.dsc 1.1 kB b831555467112a26c9cb7bffedd13fdc
cvc3_2.2.orig.tar.gz 1,071.3 kB fe24b28454977ca035a39c35ad144796
cvc3_2.2-13.1.diff.gz 64.6 kB 60e791ff2dcdcfa47cc0236f9885e8de