Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report. https://bugzilla.redhat.com/show_bug.cgi?id=453781 Summary: Review Request: sat4j - A library of SAT solvers written in Java Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: medium Component: Package Review AssignedTo: nobody@xxxxxxxxxxxxxxxxx ReportedBy: overholt@xxxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: fedora-package-review@xxxxxxxxxx,notting@xxxxxxxxxx Spec URL: http://overholt.fedorapeople.org/sat4j.spec SRPM URL: http://overholt.fedorapeople.org/sat4j-2.0.0-1.fc9.src.rpm Description: The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. The SAT4J library targets first users of SAT "black boxes", those willing to embed SAT technologies into their application without worrying about the details. -- 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, or are watching someone who is. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review