Publishing details
Changelog
cvc-47-src (1.8.0-2.20.4) focal; urgency=low
* Initial release, automatically generated.
-- Jens Elkner <email address hidden> Mon, 26 Oct 2020 23:18:07 +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