Added support for the minimalExpansionSequents algorithm to the cli.


git-svn-id: http://gapt.googlecode.com/svn/trunk@2172 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Added a guard to minimalTest.scala that checks whether MiniSAT is installed.


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

git-svn-id: http://gapt.googlecode.com/svn/trunk@2174 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Adjusted minimalExpansionSequents in the cli so that it now takes a Prover as an argument.


git-svn-id: http://gapt.googlecode.com/svn/trunk@2175 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Added some special code to deal with logical symbols defined in multiple layers.
Fixes issue 253.


git-svn-id: http://gapt.googlecode.com/svn/trunk@2176 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
some changes to ceres omega, replaced custom string conversion methods for list by the builtin mkString method (FSequent,Sequent,Grammar)

git-svn-id: http://gapt.googlecode.com/svn/trunk@2177 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
TreeGrammarDecomposition: refactored propositional representation of MinCostSAT formulation, improved debug messages
added integrations tests for TreeGrammarDecomposition in TreeGrammarDecompositionTest.scala

git-svn-id: http://gapt.googlecode.com/svn/trunk@2178 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Added a guard that checks whether MaxSAT is installed, otherwise it would not compile on my system.


git-svn-id: http://gapt.googlecode.com/svn/trunk@2179 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Merge remote-tracking branch 'trunk'