[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Google
  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.


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

--- Comment #5 from Jerry James <loganjerry@xxxxxxxxx> 2012-04-24 16:25:28 EDT ---
Also, I've run into trouble before when the name in the bug summary did not
exactly match the package name.  I think you'll need to change the summary to
read "glueminisat" before the git work will be done.

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



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

Add to Google