cnf.dimacs() outputs to a file
Merge branch 'master2' into reduce-memory
Merge pull request #7 from marcvinyals/reduce-memory

cnf.dimacs() outputs to a file