Publishing details
Changelog
cvc-47-src (1.8.0-3.22.4) jammy; urgency=low
* Initial release, automatically generated.
-- Jens Elkner <email address hidden> Sun, 14 Aug 2022 07:00:55 +0200
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