Fedora Packages

cvc4-libs Subpackage of cvc4

Library containing an automatic theorem prover for SMT problems

Library containing the core of the cvc4 automatic theorem prover for SMT problems.

Releases Overview

Release Stable Testing
Fedora Rawhide 1.8-7.fc35 -
Fedora 35 1.8-7.fc35 -
Fedora 34 1.8-4.fc34 -
Package Info
Related Packages

You can contact the maintainers of this package via email at cvc4 dash maintainers at fedoraproject dot org.



Sources on Pagure