chiark / gitweb /
Use more glpk's more advanced MIP solver and enable various options; limit cpu