cnfgen
