все параметры
jessie  ] [  stretch  ]

Пакет исходного кода: cvc3 (2.4.1-5.1)

Ссылки для cvc3

Ресурсы Debian:

Сопровождающий:

Внешние ресурсы:

Из этого пакета исходного кода собираются следующие двоичные пакеты:
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)

Другие пакеты, относящиеся к cvc3

  • для сборки
  • build-depends-indep

Download cvc3

ФайлРазмер (в Кб)Контрольная сумма MD5
cvc3_2.4.1-5.1.dsc 2,0 Кб db95ea8fe44d85713e3d64ac5f7b48c6
cvc3_2.4.1.orig.tar.gz 1 148,2 Кб 29168e0511761f39f4d09277e009d6ab
cvc3_2.4.1-5.1.debian.tar.xz 10,0 Кб db968c061f2adbb6bf1817e65b471c8f