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.