Creates Dimacs CNF file