Simple minimal unsatisfiable core extractor
picomus [options] [ input-file [ output-file ] ]
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.
-h Show summary of options.
-v
enable verbose output
picomus was written by Armin Biere <[email protected]>.
This manual page was written by Michael Tautschnig <[email protected]>, for the Debian project (but may be used by others).