picomus - simple minimal unsatisfiable core extractor

       picomus was written by Armin Biere <biere@jku.at>.

       This manual page was written by Michael Tautschnig <mt@debian.org>, for the Debian project  (but  may  be
       used by others).

                                                 August  9, 2011                                      PICOMUS(1)

       This manual page documents briefly the picomus command.

       picomus  is  a  SAT  solver that uses the PicoSAT library to generate a 'minimal unsatisfiable core' also
       known as 'minimal unsatisfiable set' (MUS) of a CNF in DIMACS format.

       picomus - simple minimal unsatisfiable core extractor

-h Show summary of options.

       -v     enable verbose output

picomus [options] [input-file[output-file]]