Man Pages in sat4j

Section 1: Executable programs or shell commands

sat4j.1

Efficient library of sat solvers in java