chiark / gitweb /
Try LP-only if MIP fails, and round everything down
authorIan Jackson <ian@liberator.relativity.greenend.org.uk>
Sun, 27 Dec 2009 18:13:21 +0000 (18:13 +0000)
committerIan Jackson <ian@liberator.relativity.greenend.org.uk>
Sun, 27 Dec 2009 18:13:21 +0000 (18:13 +0000)

No differences found