# CNF formula generator (here)

Proof complexity research often studies benchmark formulas to prove
various theorems. Furthermore it is often informative to run SAT
solvers on these formulas. **CNFgen** software (and the included
library) provides a convenient way to create and manipulate
these formulas.