chiark / gitweb /
fudge the {n,m}_max_frags to deal with rounding errors in glpk results