ChangeLog
author ladanyi
Sun, 29 Jan 2006 23:46:05 +0000
changeset 1926 6a30ef4d10f1
child 928 71dc900ee30f
permissions -rw-r--r--
Do not rely on the autodetection of cplex and glpk.