Publishing details
Changelog
cvc-47-src (1.8.0-3.18.4) bionic; urgency=low
* Initial release, automatically generated.
-- Jens Elkner <email address hidden> Mon, 26 Oct 2020 23:56:17 +0100
Builds
Built packages
-
cvc-47
SMT solver Cooperating Validity Checker (CVC4).
-
cvc-dev-47
SMT solver Cooperating Validity Checker (CVC4) - development.
-
cvc-libs-47
SMT solver Cooperating Validity Checker (CVC4).
Package files