全部搜索项
jessie  ] [  stretch  ]

源码包:cvc3(2.4.1-5)

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.dsc 2.0 kB 4912cd80422e4ee4e3f2dcafd59d4170
cvc3_2.4.1.orig.tar.gz 1,148.2 kB 29168e0511761f39f4d09277e009d6ab
cvc3_2.4.1-5.debian.tar.xz 9.9 kB 46fb25e90d19e8351a0fdadfee179848