cvc3 source package in Precise
cvc3: No summary available for cvc3 in ubuntu oneiric.
cvc3-el: No summary available for cvc3-el in ubuntu quantal.
libcvc3-2: No summary available for libcvc3-2 in ubuntu quantal.
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: No summary available for libcvc3-2-jni in ubuntu oneiric.
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- cvc3 2.2-13.1 (universe)
cvc3 information
- Current version:
- 2.2-13.1
- Uploaded:
- Urgency:
- Low Urgency
Upstream connections
This project is for the packaging and releasing CVC3 SMT Solver binaries.
- Bug supervisor:
- Bug tracker:
- Branch:
There are no registered releases for the CVC3 Packaging ⇒ trunk.
Releases in Ubuntu
Binary packages
- cvc3 (amd64) (armel) (armhf) (i386) (powerpc)
- cvc3-el (amd64) (armel) (armhf) (i386) (powerpc)
- libcvc3-2 (amd64) (armel) (armhf) (i386) (powerpc)
- libcvc3-2-dev (amd64) (armel) (armhf) (i386) (powerpc)
- libcvc3-2-java (amd64) (armel) (armhf) (i386) (powerpc)
- libcvc3-2-jni (amd64) (armel) (i386) (powerpc)
Download files from current release (2.2-13.1)
| File | Size | SHA-256 Checksum |
|---|---|---|
| cvc3_2.2.orig.tar.gz | 1.0 MiB | 5182c8bd7b90f4ee8b35d4f731c8fa42e4bc8d00471a99a8c9aec7bc4b1381b7 |
| cvc3_2.2-13.1.diff.gz | 64.6 KiB | 3e69ca88a5e78a8d46731c47652bb1d5298656bc6c61ded3aa959bcf6e5ac504 |
| cvc3_2.2-13.1.dsc | 1.1 KiB | 3aed973011596264a6bdc92c629d3380c3641ae524c6fa613eb2b37f2b1b4bac |
Package relationships
Build dependencies |
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |
