This page shows all known information about package libcvc4-dev.
libcvc4-dev - automated theorem prover for SMT problems (development files)
From source: cvc4
debian/controlCopyright © 2011-2013 Enrico Zini <enrico@debian.org>. See license terms. Source code is available.
Debtags is part of Debian.