全部搜尋項
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 有關的套件

  • 構建架構特定包依賴
  • 構建架構獨立包依賴

Download cvc3

檔案大小(單位:kB)MD5 校驗碼
cvc3_2.4.1-5.1.dsc 2。0 kB db95ea8fe44d85713e3d64ac5f7b48c6
cvc3_2.4.1.orig.tar.gz 1,148。2 kB 29168e0511761f39f4d09277e009d6ab
cvc3_2.4.1-5.1.debian.tar.xz 10。0 kB db968c061f2adbb6bf1817e65b471c8f