Package minisat

• minisat(1) — fast and lightweight SAT solver