cvc4 - automated theorem prover for SMT problems

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package name cvc4
Package version 1.6
Package release 2
Package architecture amd64
Package type deb
Installed size 530 B
Download size 136.39 KB
Official Mirror
Description -


Package Version Architecture Repository
cvc4_1.6-2_i386.deb 1.6 i386 Debian Main
cvc4 - - -


Name Value
libboost-system1.62.0 -
libboost-thread1.62.0 -
libc6 >= 2.14
libcvc4-5 = 1.6-2
libcvc4parser5 = 1.6-2
libgcc1 >= 1:3.0
libgmp10 -
libreadline7 >= 6.0
libstdc++6 >= 5.2


Type URL
Binary Package cvc4_1.6-2_amd64.deb
Source Package cvc4

Install Howto

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




2018-08-12 - Fabian Wolff <>
cvc4 (1.6-2) unstable; urgency=medium
* Add python3 to Build-Depends.
* Update Maintainer email address.
2018-01-07 - Fabian Wolff <>
cvc4 (1.6-1) unstable; urgency=medium
* New upstream release.
* Update Vcs-Git and Vcs-Browser fields in debian/control.
* Restrict build architectures to those architectures where cvc4 has
previously built successfully since upstream has been unresponsive
with regard to fixing those build failures (Closes: #880146,
* Refresh patches.
* Remove 02-include-paths.patch (fixed upstream).
* Install NEWS file.
* Install some examples with the -dev package.
* Upgrade to debhelper compat level 11.
* Upgrade to Standards-Version 4.2.0 in debian/control (no changes).
* Update debian/copyright.
* Adjust package names to match new SONAMEs.
* Add patch 04-fix-spelling.patch to fix several spelling errors.
* Mark libcvc4-5 and libcvc4parser5 as Multi-Arch: same.
2017-07-29 - Fabian Wolff <>
cvc4 (1.5-1) unstable; urgency=medium
* Initial release. (Closes: #757048)

See Also

Package Description
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
cvsweb_3.0.6-8_all.deb CGI interface to your CVS repository