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

[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=812681

--- 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
package-review@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/package-review



[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]