bool2cnf: A tool for converting a boolean formula into CNF

Given a Boolean formula, this tool constructs a Boolean formula in CNF that
is satisfiable iff so is the given formula.
The output CNF formula is in DIMACS format.

This software is provided under the Simplified BSD License.