[ etiona ]
Zdrojový balík: cvc3 (2.4.1-5.1ubuntu1)
Odkazy pre cvc3
Zdroje Trisquel:
Správca:
Original Maintainer:
- Morgan Deters
Externé zdroje:
- Domovská stránka [www.cs.nyu.edu]
Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
- cvc3
- Automatic theorem prover for SMT problems
- cvc3-el
- Emacs mode for CVC3
- libcvc3-5-java
- Java bindings for CVC3 (bytecode library)
- libcvc3-5-jni
- Java bindings for CVC3 (native library)
- libcvc3-5v5
- Automatic theorem prover library for SMT problems
- libcvc3-dev
- Automatic theorem prover library for SMT problems (development files)
Ostatné balíky súvisiace s balíkom 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
- alebo 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
| Súbor | Veľkosť (v kB) | kontrolný súčet MD5 |
|---|---|---|
| cvc3_2.4.1-5.1ubuntu1.dsc | 1.8 kB | f7539c7aeacc1891b093dfb244d1ed2c |
| cvc3_2.4.1.orig.tar.gz | 1,148.2 kB | 29168e0511761f39f4d09277e009d6ab |
| cvc3_2.4.1-5.1ubuntu1.debian.tar.xz | 10.2 kB | 8d3f9ecbab6ce512977dfd3826792b62 |