Man Pages in minisat

Section 1: Executable programs or shell commands

minisat.1

Fast and lightweight sat solver