Source Package: cvc3 (2.4.1-4)
Links for cvc3
Debian Resources:
Maintainer:
External Resources:
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)
- Programy pomocnicze do debian/rules
-
- adep:
autoconf
- Automatyczny generator skryptów konfiguracyjnych
-
- adep:
autotools-dev
- Aktualizacja infrastruktury plików config.guess i config.sub
-
- adep:
bison
- YACC-compatible parser generator
-
- adep:
default-jdk
- Standard Java or Java compatible Development Kit
-
- adep:
flex
- Szybki generator analizatorów leksykalnych
-
- 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
- Interaktywny, obiektowy język wysokiego poziomu (wersja standardowa)
