cnfgen-nand-opt (cargo): Generate CNF for circuits
Keywords: cnfgen|sat|cnf|logic