Man Pages in minisat+

Section 1: Executable programs or shell commands

minisat+.1

A solver for pseudo-boolean constraints