Man page - picomus(1)

Packages contains this manual

Package:  picosat
apt-get install picosat

Manuals in package:
• picomus(1)
• picosat(1)
• picosat.trace(1)
Documentations in package:
• picosat

Manual

PICOMUS

NAME
SYNOPSIS
DESCRIPTION
OPTIONS
AUTHOR

---

NAME

picomus - simple minimal unsatisfiable core extractor

SYNOPSIS

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

DESCRIPTION

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

AUTHOR

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).

---