Fix Dimacs tests.
Merge pull request #4 from marcvinyals/master2

Fix Dimacs tests.