More reshuffler tests
Merge pull request #12 from marcvinyals/tests

More reshuffler tests
K-Colorability formula added.
Merge branch 'master' of github.com:MassimoLauria/cnfgen
Add option to generate torus grids
Planted Ordering principle: an element is allowed not to have predecessors.
Improve Tseitin generator from O(VE) to O(E)
Merge remote-tracking branch 'massimo/master' into master2

Conflicts:
	test.py
Merge pull request #13 from marcvinyals/torus

Add option to generate torus grids
Merge pull request #14 from marcvinyals/profile

Improve Tseitin generator from O(VE) to O(E)
Merge branch 'master' into master2