Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
Summary: Review Request: cvc3 - Validity checker of many-sorted first-order formulas with theories https://bugzilla.redhat.com/show_bug.cgi?id=529404 Summary: Review Request: cvc3 - Validity checker of many-sorted first-order formulas with theories Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: medium Component: Package Review AssignedTo: [email protected] ReportedBy: [email protected] QAContact: [email protected] CC: [email protected], [email protected] Estimated Hours: 0.0 Classification: Fedora Spec URL: http://jjames.fedorapeople.org/cvc3/cvc3.spec SRPM URL: http://jjames.fedorapeople.org/cvc3/cvc3-2.1-1.fc11.src.rpm Description: CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ Fedora-package-review mailing list [email protected] http://www.redhat.com/mailman/listinfo/fedora-package-review
