[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 dwheeler at dwheeler.com  2008-07-15 23:17 EST -------
I've talked with upstream; I think I've convinced them to switch to a sensible
"2.1"-style version naming convention for their next release.  If they do so,
this package can be easily updated to match.  

Please review this new version, and let me know if it's approved.  Thanks.


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