cnf.dimacs() outputs to a file
Merge branch 'master2' into reduce-memory
Document the reshuffler. Add more tests.
Bug fix: cnfgen should read arguments other than the command line.
Bug fix: discard 0-th argument for argparse
Gop formula generation had a bug.

For graph  which vertices had  non trivial names (i.e.  different from
0,...,n-1) it would produce variables with the wrong name.

I also made the kth formula parser more robust.
Merge branch 'master' of github.com:MassimoLauria/cnfgen
Dimacs formula shuffler
Merge pull request #10 from marcvinyals/bugfix

Bug fix: cnfgen should read arguments other than the command line.
Merge pull request #8 from marcvinyals/test-reshuffle

Document the reshuffler. Add more tests.
Merge pull request #7 from marcvinyals/reduce-memory

cnf.dimacs() outputs to a file
Merge branch 'master' into noise