Fixes issue 271. Fixing argument order and printing of empty succedent on verit exporter.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2187 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Removing old comments from verit.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2188 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
TreeGrammarDecomposition: added some comments, refactored: general functions moved to utils.listsupport and fol.Utils, got rid of unnecessary function calls
TreeGrammarDecompositionTest: added 2 Unit tests
fol.Utils: fixed some java-doc errors, @param @return tags are not allowed before objects, but before their respective apply functions

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2189 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fixes issue 270. Setting escape_underscore argument of parse_prover9 to false as the default value.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2190 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Make MaxSAT work with qmaxsat v0.4a.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2193 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Don't disable all tests in MaxSATTest if just one solver is unavailable.

The qmaxsat test fails at the moment since it is no longer skipped.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2195 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
code cleanup in prover9. escape_underscore is now a command on the cli, we should discuss in the gapt meeting hgow we want to handle this kind of integration code. also prover9 returns now 3 values: the refutation, the input sequent and the clausified input by prover9.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2196 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Revert MaxSAT code to support qmaxsat 14.04.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2197 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Don't detect qmaxsat v0.4a as an installed version of qmaxsat.

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