Source Package: cvc3 (2.2-13)
Links for cvc3
Debian Resources:
Maintainer:
External Resources:
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
- Загальна система створення пакунків Debian
-
- adep:
debhelper
(>= 7)
- Допоміжні програми для "debian/rules"
-
- adep:
autoconf
- Автоматичний генератор сценаріїв configure
-
- adep:
autotools-dev
- Update infrastructure for config.{guess,sub} files
-
- adep:
bison
- A parser generator that is compatible with YACC
-
- adep:
default-jdk-builddep
- virtual package provided by
gcj-native-helper
-
- adep:
flex
- A fast lexical analyzer generator.
-
- adep:
libgmp3-dev
- Multiprecision arithmetic library developers tools
-
- adep:
python
- Інтерактивна об’єктно-орієнтована мова високого рівня (стандартна версія)
