src/HOL/Matrix_LP/Cplex_tools.ML
changeset 51940 958d439b3013
parent 51930 52fd62618631
child 62505 9e2a65912111
     1.1 --- a/src/HOL/Matrix_LP/Cplex_tools.ML	Sun May 12 13:56:21 2013 +0200
     1.2 +++ b/src/HOL/Matrix_LP/Cplex_tools.ML	Sun May 12 14:25:16 2013 +0200
     1.3 @@ -1,5 +1,15 @@
     1.4  (*  Title:      HOL/Matrix_LP/Cplex_tools.ML
     1.5      Author:     Steven Obua
     1.6 +
     1.7 +Relevant Isabelle environment settings:
     1.8 +
     1.9 +  # LP_SOLVER is the default solver. It can be changed during runtime via Cplex.set_solver.
    1.10 +  # First option: use the commercial cplex solver
    1.11 +  #LP_SOLVER=CPLEX
    1.12 +  #CPLEX_PATH=cplex
    1.13 +  # Second option: use the open source glpk solver
    1.14 +  #LP_SOLVER=GLPK
    1.15 +  #GLPK_PATH=glpsol
    1.16  *)
    1.17  
    1.18  signature CPLEX =