MassimoLauria/cnfgen — pull request #18 by marcvinyals (2014-05-22 21:24:46+00:00)
Title: Match Tseitin vertices and charges

Otherwise in a 2d grid and 'first' charge model the node with charge 1 does not necessarily have degree 2.