diff --git a/INSTALL b/INSTALL index d6399d8a1a006d5112177b3284ad0dba73fbb38d..08ee78efdbc18ec785eec20ab9bd3d8a69790353 100644 --- a/INSTALL +++ b/INSTALL @@ -13,13 +13,6 @@ Dependencies: - ocamlgraph (package ocaml-ocamlgraph) - readline - minisat (at least minisat 2) - - Dependencies for GMLMIP-0.1: - * A current version ov GNU LPK (glpk). Tested with glpk 4.54 - (Previously you needed GNU LPK with version about 4.35) - * Flex - * Bison - * Googlesparsehash package - * BuDDy BDD package. On Debian or Ubuntu, install the following packages: @@ -27,11 +20,6 @@ On Debian or Ubuntu, install the following packages: - build-essential - oasis - libocamlgraph-ocaml-dev - - libglpk-dev - - flex - - bison - - sparsehash or libsparsehash-dev - - libbdd-dev - libreadline-dev - minisat @@ -94,9 +82,6 @@ To see a longer list of example formulas, just run the testsuite: ./cool-testsuite.native -(Note: The tests for GML and PML will fail due to a version change -in the GNU LPK library.) - Coalition Logic ~~~~~~~~~~~~~~~ Some formulas are