Merge branch 'master' of github.com:marcvinyals/cnfgen
Merge remote-tracking branch 'upstream/master'
Add tests for the dimacs parser
Add tests for the reshuffler.
Fix a bug that added stuff to the end of the clauses permutation.
Merge remote-tracking branch 'massimo/master' into github
Added tests for substitutions.

git-svn-id: https://svn.csc.kth.se/~jakobn/SATprojects/trunk@2013 4a70a31b-f663-c608-99c9-fb883f79e3b9
Adapted tests to the new lifting API
Merge pull request #3 from marcvinyals/master2

Add tests