packagesSource Package: cvc3 (2.2-13.1) [universe]
Links for cvc3
Ubuntu Resources:
Maintainer:
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:
- Homepage [www.cs.nyu.edu]
The following binary packages are built from this source package:
- cvc3
- An automatic theorem prover for SMT problems
- cvc3-el
- Emacs mode for CVC3
- libcvc3-2
- An automatic theorem prover library for SMT problems
- libcvc3-2-dev
- An automatic theorem prover library for SMT problems (development files)
- libcvc3-2-java
- Java bindings for CVC3 (bytecode library)
- libcvc3-2-jni
- Java bindings for CVC3 (native library)
Other Packages Related to cvc3
|
|
-
- 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
| File | Size (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 |