MassimoLauria/cnfgen — pull request #14 by marcvinyals (2013-11-28 13:14:53+00:00)
Title: Improve Tseitin generator from O(VE) to O(E)

This should change variable names but not the order in DIMACS format.