chiark / gitweb /
Use more glpk's more advanced MIP solver and enable various options; limit cpu
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 17 Sep 2009 00:12:37 +0000 (01:12 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 17 Sep 2009 00:12:37 +0000 (01:12 +0100)

No differences found