Changing the substitution  names
Changed the name of lifting to transformation
Renaming lifting module to transformation module
Not all equal
Add tests for neq
Merge branch 'master' into master2

Conflicts:
	kth2dimacs.py
Merge branch 'tests' into master2