[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
  Web www.spinics.net

[Bug 812681] Review Request: GlueMiniSat - Boolean SAT solver that implements literal blocks distance (LBD)

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


--- Comment #4 from Jerry James <loganjerry@xxxxxxxxx> 2012-04-24 16:24:16 EDT ---
This looks good.  The document with HTML links sounds great, but I'll approve
this package as is.  You still need to be sponsored, right?  If so, what is
your FAS account name?

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.
package-review mailing list

[Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [Yosemite Photos]     [KDE Users]     [Fedora Tools]

Add to Google