added minisat to readme

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1568 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
* Fixed the stack overflow error during cut introduction in Grammar.scala (cutIntro still causes the stack to overflow, but in a different place).
* Put the definition of LK into user_manual.tex

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1570 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
* Added a new, more efficient version of cutIntro which does not perform redundant resolutions in ExtendedHerbrandSequent.improveSolution. For the time being, the new version is called cutIntro2 and the old one has been left as is. Based on a sample of example proofs, cutIntro2's running time is about 20-30% faster than that of cutIntro.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1571 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
moved equational theory parts into unficiation, moved tptp fof export to parsing, export still disabled

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1572 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Putting 'checking_lambda_expression' on the right place and deleting 'freevars_boundvars_constants_of'.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1573 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
added failing parse example for issue 242

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

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1575 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
replacing some println's by correct debugging output

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1577 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
reduced cli stacksize to 1M - please test if everything still works.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1578 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
added infix term symbols +,-,/,* to the prover9 parser

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1579 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
- Implemented a getTerm method in Substitution.
- Implemented a getMatrix method in fol.scala
- Implemented methods to transform quantifier-free and prenex formulas into
  expansion trees.
- Advancing in veriT parsing.
- Organizing GAPScalaInteractiveShell and creating method to parse veriT proofs.
- Added an import to CLIMain so that testCutIntro could use FlatTermSet
- Modifying testCutIntro to run again


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1580 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
restructured and improved user manual,
some usability improvements


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1582 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Adding more tests for cut-introduction

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1583 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fix m2e integration
Get rid of maven plugin management
comment broken code not visible in Jenkins
Revert library update needed by scala 2.9.3 (generate strange errors in tests : acnfTest, ...)
Fix file structure to allow testing from all IDE
Fix file structure
Merge branch 'm2e' of https://github.com/newca12/gapt into m2e