limb set package cvc4 summary to Automatic theorem prover for SMT problems To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/cvc4