all options
jessie  ] [  stretch  ] [  sid  ]

Source Package: cvc3 (2.4.1-5.2)

Links for cvc3

Debian Resources:

Maintainer:

External Resources:

The following binary packages are built from this source package:
cvc3
Automatic theorem prover for SMT problems
cvc3-el
Emacs mode for CVC3
libcvc3-5
Automatic theorem prover library for SMT problems
libcvc3-dev
Automatic theorem prover library for SMT problems (development files)

Other Packages Related to cvc3

  • build-depends
  • build-depends-indep

Download cvc3

FileSize (in kB)MD5 checksum
cvc3_2.4.1-5.2.dsc 1.9 kB 756845ecf0681f88e2e3b522977c5e5d
cvc3_2.4.1.orig.tar.gz 1,148.2 kB 29168e0511761f39f4d09277e009d6ab
cvc3_2.4.1-5.2.debian.tar.xz 10.1 kB 0f34c06d09b85e2b9b3c7ac634117d99