cvc3 - Automatic theorem prover for SMT problems

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package name cvc3
Package version 2.4.1
Package release 5.1
Package architecture amd64
Package type deb
Installed size 61 B
Download size 20.15 KB
Official Mirror
Description -


Package Version Architecture Repository
cvc3_2.4.1-5.1_i386.deb 2.4.1 i386 Debian Main
cvc3 - - -


Name Value
libc6 >= 2.14
libcvc3-5 >= 2.4.1
libgcc1 >= 1:3.0
libgmp10 -
libstdc++6 >= 5.2


Type URL
Binary Package cvc3_2.4.1-5.1_amd64.deb
Source Package cvc3

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install cvc3 deb package:
    # sudo apt-get install cvc3




2017-01-13 - Adrian Bunk <>
cvc3 (2.4.1-5.1) unstable; urgency=medium
* Non-maintainer upload.
* Use -std=gnu++98 to fix the build with gcc 6. (Closes: #811823)
2014-09-27 - Morgan Deters <>
cvc3 (2.4.1-5) unstable; urgency=low
* New maintainer. (Closes: #757192)
* Fix clean target, resolving ppc64el FTBFS. (Closes: #756524)
* Update standards version.
* Fix dep5 copyright.
* Remove Vcs-git and Vcs-browser (not available for CVC3).
* Now lintian clean (with some overrides).
2012-08-12 - Christopher L. Conway <>
cvc3 (2.4.1-4) unstable; urgency=low
* Transfer package repo to Git.
* Fix syntax error in debian/copyright.
* Keep 50cvc3-el.el after remove. (Closes: #684351)
* Use ln -sf when linking cvc3-el emacsen files. (Closes: #684026)
* Remove build dep on gcj-native-helper. (Closes: #678183)
2012-04-16 - Christopher L. Conway <>
cvc3 (2.4.1-3) unstable; urgency=low
* Create new package libcvc3-dev to replace libcvc3-5-dev and
libcvc3-2-dev (Closes: #662198)
* Add Replaces/Conflicts to libcvc3-5-jni for libcvc3-2-jni
(Closes: #662200)
* Leave .el files in site-lisp directory when installing cvc3-el
to enable source lookup (Closes: #665319)
* Remove cvc-mode autoload from site-start.d on cvc3-el removal
(Closes: #668688)
* Bring cvc3-el.emacsen-startup in line with Debian policy
(Closes: #668685)
2012-03-03 - Christopher L. Conway <>
cvc3 (2.4.1-2) unstable; urgency=low
* Upgrading to standards version 3.9.3
* Fixing lintian errors
* Fixing upstream tarball
2012-02-25 - Christopher L. Conway <>
cvc3 (2.4.1-1) unstable; urgency=low
* New upstream release (Closes: #660244)
* Updating to standards version 3.9.2
* Switching to dpkg-source 3.0 (quilt) format
* Changing default-jdk-builddep build dependency to default-jdk
* Re-enabling libcvc3-jni on kfreebsd-amd64 (Closes: #576335)
2011-03-16 - Steve M. Robbins <>
cvc3 (2.2-13.1) unstable; urgency=low
* NMU.  Change dependencies libgmp3-dev --> libgmp-dev.
2010-04-08 - Christopher L. Conway <>
cvc3 (2.2-13) unstable; urgency=low
* Prevent Java tests from running on kfreebsd-amd64
2010-04-06 - Christopher L. Conway <>
cvc3 (2.2-12) unstable; urgency=low
* Adding patch for MiniSat unsigned char bug (Closes: #575002)
* Removing kfreebsd-amd64 from Architectures for libcvc3-2-jni (Workaround for
2010-03-16 - Christopher L. Conway <>
cvc3 (2.2-11) unstable; urgency=low
* Patch: detect path to ldconfig for install

See Also

Package Description
cvc4_1.6-2+b1_amd64.deb automated theorem prover for SMT problems
cvm-mysql_0.97-0.1_amd64.deb Credential Validation Modules (MySQL)
cvm-pgsql_0.97-0.1_amd64.deb Credential Validation Modules (PostgreSQL)
cvm_0.97-0.1_amd64.deb Credential Validation Modules
cvs-buildpackage_5.26_all.deb set of Debian package scripts for CVS source trees
cvs-fast-export_1.44-1_amd64.deb Export an RCS or CVS history as a fast-import stream
cvs-mailcommit_1.19-2.1_all.deb Send CVS commitments via mail
cvs2svn_2.5.0-1_all.deb Convert a cvs repository to a subversion, bazaar or git repository
cvs_1.12.13+real-26_amd64.deb Concurrent Versions System
cvsd_1.0.24_amd64.deb chroot wrapper to run 'cvs pserver' more securely
cvsdelta_1.7.0-6_all.deb Summarize differences in a CVS repository
cvsgraph_1.7.0-5_amd64.deb Create a tree of revisions/branches from a CVS/RCS file
cvsps_2.1-8_amd64.deb Tool to generate CVS patch set information
cvsservice_17.08.3-1_amd64.deb D-Bus service for accessing CVS repositories
cvsutils_0.2.5-1_all.deb CVS utilities for use in working directories