源码包: cvc3 (2.4.1-5.1ubuntu1)

cvc3 的相关链接

Trisquel 的资源:

• 报告问题
• Changelog
• 版权文件

维护者:

• Ubuntu Developers (Mail Archive)

Original Maintainer:

• Morgan Deters

外部的资源:

• 主页 [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

  或者 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