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

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


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





------- Additional Comments From tibbs@xxxxxxxxxxx  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.

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