[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-29 18:33 EST -------
FYI, my miniSAT2 documentation is also available on the web, here:
 http://www.dwheeler.com/essays/minisat-user-guide.html
It's included in my package, because without at least some documentation
on its input, there's no way to USE this tool.  My documentation is released
to the public domain (see the bottom), so there's no license issue.

I've already offered up my documentation to the Debian packager of
miniSAT, which unsurprisingly has lousy documentation.  Thread here:
http://groups.google.com/group/minisat/browse_thread/thread/4680c4579611d714

As I noted earlier, I've already sent the patches and the new documentation to
upstream, and have hopes that upstream will eventually incorporate them.

Note: Novell/SuSE has changed their package manager to use a SAT solver
to speed up dependency analysis (to speed up installation). Presentation here:
http://en.opensuse.org/Libzypp/Sat_Solver
I do _not_ know which SAT solver SuSE uses; miniSAT is a possibility.



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