Added an optimized version of minimalExpansionTrees, called minimalExpansionTreesSmart. The old version is unchanged.


git-svn-id: http://gapt.googlecode.com/svn/trunk@2184 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Added a testcase for the Tseitin transformation

git-svn-id: http://gapt.googlecode.com/svn/trunk@2185 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Stopwatch: implemented a class to make measuring runtime easier
TreeGrammarDecomposition: Applied Stopwatch for time measuring purposes to NCutIntroduction, TreeGrammarDecomposition, MaxSAT, CLI and refactored the code
MaxSAT: Added support for MiniMaxSAT and a corresponding testcase


git-svn-id: http://gapt.googlecode.com/svn/trunk@2186 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fixes issue 271. Fixing argument order and printing of empty succedent on verit exporter.

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

git-svn-id: http://gapt.googlecode.com/svn/trunk@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@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@2190 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Make MaxSAT work with qmaxsat v0.4a.

git-svn-id: http://gapt.googlecode.com/svn/trunk@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@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@2196 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Revert MaxSAT code to support qmaxsat 14.04.

git-svn-id: http://gapt.googlecode.com/svn/trunk@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@2199 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
bugfix in hol: parse "(\x F(x)) s" match { case Atom(_,_) => ... } does not throw an exception anymore. added undoReplaceAbstractions to reverse replaceAbstractions. some more bugfixes.

git-svn-id: http://gapt.googlecode.com/svn/trunk@2200 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
more in readme for llk stuff

git-svn-id: http://gapt.googlecode.com/svn/trunk@2201 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Cleaned up the decompressQuantifiers algorithm a little.


git-svn-id: http://gapt.googlecode.com/svn/trunk@2202 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Implementing a continuation-passing-style version of the algorithm for removing redundant structural rules.

git-svn-id: http://gapt.googlecode.com/svn/trunk@2203 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fixes issue 229. Once and for all. Using TailCall to make the conpliler optimize a tree recursion using continuation-passing-style.

git-svn-id: http://gapt.googlecode.com/svn/trunk@2204 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
prooftool has now a history menu which tracks previously loaded proof objects (of any kind). the menu bar was put into its own file since the code is quite large.

git-svn-id: http://gapt.googlecode.com/svn/trunk@2205 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Changing the skip condition of minimal test of expansion trees so that it compiles on machines that do not have minisat (the previous test threw a skip exception and stopped compilation).

git-svn-id: http://gapt.googlecode.com/svn/trunk@2206 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
add missing file

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