» Ubuntu » Pakete » lucid (10.04LTS) » Quellcode » math » cvc3
lucid  ] [  precise  ] [  trusty  ] [  utopic  ] [  vivid  ]

Quellcode-Paket: cvc3 (2.2-7) [universe]

Links für cvc3



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.

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
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)

Andere Pakete mit Bezug zu cvc3

  • build-depends
  • build-depends-indep
  • adep: cdbs
    common build system for Debian packages
  • adep: debhelper (>= 7)
    helper programs for debian/rules
  • adep: autotools-dev
    Update infrastructure for config.{guess,sub} files
  • adep: bison
    A parser generator that is compatible with YACC
  • adep: flex
    A fast lexical analyzer generator.
  • adep: libgmp3-dev
    Multiprecision arithmetic library developers tools
  • adep: python
    An interactive high-level object-oriented language (default version)
  • adep: default-jdk-builddep
    Standard Java or Java compatible build dependencies

Download cvc3

DateiGröße (in kB)MD5-Prüfsumme
cvc3_2.2-7.dsc 1,1 kB 12d0f67aa6a989f7d70ffe68c3068ee3
cvc3_2.2.orig.tar.gz 1.071,3 kB fe24b28454977ca035a39c35ad144796
cvc3_2.2-7.diff.gz 7,1 kB 2f85b7f00c0b7a158e658704180d6ad8