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


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





--- Comment #14 from David A. Wheeler <dwheeler at dwheeler.com>  2008-08-07 21:54:26 EDT ---
Okay, new miniSAT2 uploaded:
 http://www.dwheeler.com/minisat2.spec
 http://www.dwheeler.com/minisat2-2.0-6.20070721.fc9.src.rpm

This one leaves -O2, as it was.  I left in the (tricky) lines that switch
optimization level, in case it actually helps in a future version of gcc.

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