[Bug 453701] New: Review Request: minisat2 - A minimalistic, open-source SAT solver

[bugzilla at redhat.com]

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 at fedoraproject.org
        ReportedBy: dwheeler at dwheeler.com
         QAContact: extras-qa at fedoraproject.org
                CC: fedora-package-review at redhat.com,notting at redhat.com


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.