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: nobody@xxxxxxxxxxxxxxxxx ReportedBy: loganjerry@xxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: notting@xxxxxxxxxx, fedora-package-review@xxxxxxxxxx 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 Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review