picomus1
Simple minimal unsatisfiable core extractor
Usage
picomus [options]
[input-file
[output-file]]
Overview
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.
Options
-h Show summary of options.
-
-v -
enable verbose output