[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 #10 from Jason Tibbitts <tibbs at math.uh.edu>  2008-08-07 20:23:29 EDT ---
Everything looks fine to me except the -O3 ricing.  I have no specific problems
with this if you have some results which actually indicate a performance
improvement, but if you're just assuming that it must somehow be faster because
the number is bigger then you really should just use the default flags.

Can you provide some evidence that this makes a difference?

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