[ etiona ]
Source Package: cvc3 (2.4.1-5.1ubuntu1)
Links for cvc3
Trisquel Resources:
Maintainer:
Original Maintainer:
- Morgan Deters
External Resources:
- Homepage [www.cs.nyu.edu]
Наступні двійкові пакунки побудовано з цього джерельного пакунка:
- 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)
Інші пакунки пов'язані з 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
- or 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
| Файл | Розмір (в кБ) | MD5 checksum |
|---|---|---|
| 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 |