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@xxxxxxxxxxxx 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. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review