[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 tibbs at math.uh.edu  2008-07-20 10:52 EST -------
Unfortunately at the moment I'm on vacation up near the arctic circle in Norway
and have only limited access to the Internet and hence my build systems.  It's
not realy possible to do package reviews with only web access but if I have a
slack day when I can get my laptop in range of some wireless network then I'll
try to finish this up.

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