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

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

 



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

[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]