CNFGEN is used at run time in 2 crates.

Depender CNFGEN version
cnfgen-nand-opt ^0.2.1
bool2cnf ^0.2.1