Improve Tseitin generator from O(VE) to O(E)
Merge pull request #14 from marcvinyals/profile

Improve Tseitin generator from O(VE) to O(E)