» Ubuntu » Pakete » raring (13.04) » Quellcode » math » cvc3
lucid  ] [  precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]

Quellcode-Paket: cvc3 (2.4.1-4) [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:
Automatic theorem prover for SMT problems
Emacs mode for CVC3
Automatic theorem prover library for SMT problems
Java bindings for CVC3 (bytecode library)
Java bindings for CVC3 (native library)
Automatic theorem prover library for SMT problems (development files)

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: autoconf
    automatic configure script builder
  • adep: autotools-dev
    Update infrastructure for config.{guess,sub} files
  • adep: bison
    YACC-compatible parser generator
  • adep: default-jdk
    Standard Java or Java compatible Development Kit
  • adep: flex
    A fast lexical analyzer generator.
  • adep: libgmp-dev
    Multiprecision arithmetic library developers tools
    oder libgmp3-dev
    Multiprecision arithmetic library developers tools
  • adep: patchutils
    Utilities to work with patches
  • adep: python
    interactive high-level object-oriented language (default version)

Download cvc3

DateiGröße (in kB)MD5-Prüfsumme
cvc3_2.4.1-4.dsc 2,0 kB 013153287aeca9076efac802ec23319f
cvc3_2.4.1.orig.tar.gz 1.148,2 kB 29168e0511761f39f4d09277e009d6ab
cvc3_2.4.1-4.debian.tar.gz 8,8 kB df7d80ba6c7d8c623f9ef6e845384697
Quellcode-Depot des Debian-Pakets (VCS: Git)
Quellcode-Depot des Debian-Pakets (browsable)