equal
deleted
inserted
replaced
223 # Jerusat 1.3 (SAT Solver) |
223 # Jerusat 1.3 (SAT Solver) |
224 #JERUSAT_HOME=/usr/local/bin |
224 #JERUSAT_HOME=/usr/local/bin |
225 |
225 |
226 # HOL4 proof objects (cf. Isabelle/src/HOL/Import) |
226 # HOL4 proof objects (cf. Isabelle/src/HOL/Import) |
227 HOL4_PROOFS="$PROOF_DIRS:$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs" |
227 HOL4_PROOFS="$PROOF_DIRS:$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs" |
|
228 |
|
229 # For configuring HOL/Matrix/cplex |
|
230 # First option: use the commercial cplex solver |
|
231 # LP_SOLVER_NAME=CPLEX |
|
232 # LP_SOLVER_PATH=cplex |
|
233 # Second option: use the open source glpk solver |
|
234 # LP_SOLVER_NAME=GLPK |
|
235 # LP_SOLVER_PATH=glpsol |
|
236 |
|
237 # toogles the detail of the error message in case of a cyclic definition |
|
238 DEFS_CHAIN_HISTORY=ON |
|
239 #DEFS_CHAIN_HISTORY=OFF |