cnfformula
cnfgen
