[Bug 453701] 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.

Summary: Review Request: minisat2 -  A minimalistic, open-source SAT solver


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





------- Additional Comments From dwheeler at dwheeler.com  2008-07-19 23:12 EST -------
I've made a small tweak, and uploaded a new release:
 http://www.dwheeler.com/minisat2-2.0-5.20070721.fc9.src.rpm
 http://www.dwheeler.com/minisat2.spec

This release adds use of the "-O3" optimization flag, to get more
speed out of it. This program is often compiled with -O3,
and speed is absolutely critical to it.

I believe this package is ready:
* All issues raised above have been resolved.
* rpmlint 100% clean on spec, SRPM, and a binary RPM (i386/f9)
* koji scratch build are 100% successful on dist-f8, dist-f9, and dist-f10.

So, any additional comments or approval?


-- 
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.