generateCNF

Python program to generate DIMACS-style CNF files, some of them quite large.

TODO

• Using random number generators probably isn't a very good way to generate CNF. There is probably a better, statistically rigorous way to do this...
• See TODOs in code. It's ugly.