---
name: "picomus"
section: "1"
platform: "linux"
package: "picosat"
version: "965-2"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/picomus"
---

# picomus(1)

simple minimal unsatisfiable core extractor

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