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


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





--- Comment #10 from Jason Tibbitts <tibbs@xxxxxxxxxxx>  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.

_______________________________________________
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]