1.1 --- a/src/demo/lp_demo.cc	Fri Apr 08 14:21:40 2005 +0000
     1.2 +++ b/src/demo/lp_demo.cc	Fri Apr 08 14:40:37 2005 +0000
     1.3 @@ -38,6 +38,11 @@
     1.4      lp.setObj(ex);
     1.5    }
     1.6    lp.max();
     1.7 +
     1.8 +  lp.presolver(true);
     1.9 +  
    1.10 +  lp.messageLevel(3);
    1.11 +
    1.12    lp.solve();
    1.13  
    1.14    return lp.primalValue();
    1.15 @@ -45,13 +50,10 @@
    1.16  
    1.17  int main() 
    1.18  {
    1.19 -  LpGlpk lp_glpk;
    1.20 -
    1.21    ListGraph g;
    1.22    ListGraph::Node s;
    1.23    ListGraph::Node t;
    1.24    
    1.25 -
    1.26    ListGraph::EdgeMap<double> cap(g);
    1.27    
    1.28    GraphReader<ListGraph> reader(std::cin,g);