Fixing bug on naive CNF transformation.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2148 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Optimizing algorithm for renaming of symbols. The problem surfaced when calling the rename method repeatedly on the same variable. This caused the method to always rename x to x0, x1, x2... until reaching the last index. The new implementation finds already what is the last index and uses this (+1) for the new variable name.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2149 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Reimplementation of Tseitin's transformation without using CNF as a sub-procedure. Modifying maxsat so that it uses the new implementation (return type has changed).

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2150 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Removing left-overs.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2151 85d21ef8-add0-11de-ae77-5bfb9c5a3f34