Package: minisat Version: 1:2.2.1-2Most of the options that "minisat --help" outputs are not documented in the manual page. Also, some of the options from the manual (e.g. -verbosity) don't actually exist.
-- Jakub Wilk -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
