Package: minisat2 Version: 070721-5 Severity: minor Please complete the manpage of minisat2, in particular the DESCRIPTION and the various options that are currently undocumented. Also, please document the meaning of the exit codes. For instance, I just got for a satisfiable formula (that was found satisfiable by minisat2) the exit code of 10. What does this mean?
Thanks -Ralf. -- System Information: Debian Release: lenny/sid APT prefers testing APT policy: (500, 'testing') Architecture: amd64 (x86_64) Kernel: Linux 2.6.26-1-amd64 (SMP w/2 CPU cores) Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.utf8) Shell: /bin/sh linked to /bin/bash Versions of packages minisat2 depends on: ii libc6 2.7-13 GNU C Library: Shared libraries ii libgcc1 1:4.3.2-1 GCC support library ii libstdc++6 4.3.2-1 The GNU Standard C++ Library v3 ii zlib1g 1:1.2.3.3.dfsg-12 compression library - runtime minisat2 recommends no packages. minisat2 suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
