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=453701 Summary: Review Request: minisat2 - A minimalistic, open-source SAT solver Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: medium Component: Package Review AssignedTo: nobody@xxxxxxxxxxxxxxxxx ReportedBy: dwheeler@xxxxxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: fedora-package-review@xxxxxxxxxx,notting@xxxxxxxxxx Spec URL: http://www.dwheeler.com/minisat2.spec SRPM URL: http://www.dwheeler.com/minisat2-070721-3.fc9.src.rpm Description: MiniSat is a minimalistic, open-source Boolean satisfiability problem (SAT) solver, developed for researchers and developers alike. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT. A SAT solver can determine if it is possible to find assignments to boolean variables that would make a given expression true, if the expression is written with only AND, OR, NOT, parentheses, and boolean variables. If the expression is satisfiable, MiniSAT can also produce a set of assignments that make the expression true. Although the problem is NP-complete, SAT solvers (like this one) are often able to decide this problem in a reasonable time frame. ================================================ * CLean rpmlint (.spec/.rpm/.src.rpm) * Clean koji build for all f9 archs * Open source software license (MIT) * Meets all guidelines (to the best of my knowledge) They used to use x.y versioning, but now seem to emphasize dates; have posted a question about version numbering to the packaging list. The package is named "minisat2" in part because that is its name in Debian (consistency seemed like a good idea). The program doesn't come with any (useful) documentation, so I wrote documentation, which is posted on the web and included in the package. The program didn't come with any tests, so I created a simple "smoke test", which is included in %check. -- 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