Added generating a cnf file