[ stretch ]
Source Package: cvc3 (2.4.1-5.1)
The following binary packages are built from this source package:
- cvc3
- Automatic theorem prover for SMT problems
- cvc3-el
- Emacs mode for CVC3
- libcvc3-5
- Automatic theorem prover library for SMT problems
- libcvc3-5-java
- Java bindings for CVC3 (bytecode library)
- libcvc3-5-jni
- Java bindings for CVC3 (native library)
- libcvc3-dev
- Automatic theorem prover library for SMT problems (development files)
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
- Standard Java or Java compatible Development Kit
-
- adep: flex
- fast lexical analyzer generator
-
- adep: libgmp-dev
- Multiprecision arithmetic library developers tools
- or 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
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| cvc3_2.4.1-5.1.dsc | 2.0 kB | db95ea8fe44d85713e3d64ac5f7b48c6 |
| cvc3_2.4.1.orig.tar.gz | 1,148.2 kB | 29168e0511761f39f4d09277e009d6ab |
| cvc3_2.4.1-5.1.debian.tar.xz | 10.0 kB | db968c061f2adbb6bf1817e65b471c8f |