Source Package: cvc3 (2.2-13)
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)
- debian/rules のヘルパープログラム
-
- adep: autoconf
- configure スクリプト自動作成プログラム
-
- adep: autotools-dev
- config.{guess,sub} ファイルの更新用基盤
-
- adep: bison
- YACC 互換なパーサジェネレータ
-
- adep: default-jdk-builddep
- virtual package provided by gcj-native-helper
-
- adep: flex
- 高速な字句解析器生成プログラム
-
- adep: libgmp3-dev
- Multiprecision arithmetic library developers tools
-
- adep: python
- 対話式の高レベルオブジェクト指向言語 (デフォルトバージョン)
Download cvc3
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| cvc3_2.2-13.dsc | 1.1 kB | 78a1e5d0b37142516998a47130680d60 |
| cvc3_2.2.orig.tar.gz | 1,071.3 kB | fe24b28454977ca035a39c35ad144796 |
| cvc3_2.2-13.diff.gz | 62.0 kB | b13889162c2170902ecb2eb096781b34 |