[ etiona ]
Källkodspaket: cvc3 (2.4.1-5.1ubuntu1)
Länkar för cvc3
Trisquelresurser:
Ansvarig:
Original Maintainer:
- Morgan Deters
Externa resurser:
- Hemsida [www.cs.nyu.edu]
Följande binärpaket byggs från detta källkodspaket:
- 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)
Andra paket besläktade med 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
- eller 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
| Fil | Storlek (i kbyte) | MD5-kontrollsumma |
|---|---|---|
| cvc3_2.4.1-5.1ubuntu1.dsc | 1,8 kbyte | f7539c7aeacc1891b093dfb244d1ed2c |
| cvc3_2.4.1.orig.tar.gz | 1.148,2 kbyte | 29168e0511761f39f4d09277e009d6ab |
| cvc3_2.4.1-5.1ubuntu1.debian.tar.xz | 10,2 kbyte | 8d3f9ecbab6ce512977dfd3826792b62 |