[Bug 2223012] New: Review Request: cvc5 - Automatic theorem prover for SMT problems

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



https://bugzilla.redhat.com/show_bug.cgi?id=2223012

            Bug ID: 2223012
           Summary: Review Request: cvc5 - Automatic theorem prover for
                    SMT problems
           Product: Fedora
           Version: rawhide
          Hardware: All
                OS: Linux
            Status: NEW
         Component: Package Review
          Severity: medium
          Priority: medium
          Assignee: nobody@xxxxxxxxxxxxxxxxx
          Reporter: loganjerry@xxxxxxxxx
        QA Contact: extras-qa@xxxxxxxxxxxxxxxxx
                CC: package-review@xxxxxxxxxxxxxxxxxxxxxxx
  Target Milestone: ---
    Classification: Fedora



Spec URL: https://jjames.fedorapeople.org/cvc5/cvc5.spec
SRPM URL: https://jjames.fedorapeople.org/cvc5/cvc5-1.0.5-1.fc39.src.rpm
Fedora Account System Username: jjames
Description: This package is intended to replace the cvc4 package currently in
Fedora.  However, some other packages (drat-trim, lfsc, libpoly, symfpu, and
cadical) need to be updated to support cvc5.  Just to make things fun, those
same updates break cvc4, so I cannot push them to Rawhide until cvc5 has been
added, at which point cvc4 will be retired.

To make it possible to test and review cvc5, I have created a COPR that
contains the necessary package updates:
https://copr.fedorainfracloud.org/coprs/jjames/CVC5/

Package description follows:

CVC5 is a tool for determining the satisfiability of a first order formula
modulo a first order theory (or a combination of such theories).  It is the
fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3,
CVC4) but does not directly incorporate code from any previous version prior to
CVC4.

CVC5 is intended to be an open and extensible SMT engine.  It can be used as a
stand-alone tool or as a library.  It has been designed to increase the
performance and reduce the memory overhead of its predecessors.


-- 
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
https://bugzilla.redhat.com/show_bug.cgi?id=2223012

Report this comment as SPAM: https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=report-spam&short_desc=Report%20of%20Bug%202223012%23c0
_______________________________________________
package-review mailing list -- package-review@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/package-review@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue




[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite Conditions]     [KDE Users]

  Powered by Linux