[Pkg-scicomp-devel] Bug#490288: Bug#490288: glpk: Fails on assertion

[Rafael Laboissiere]

* Andrew Makhorin <mao at gnu.org> [2008-07-12 16:06]:

> The failure appears due to insufficient robustness of the glpk mip
> solver. It is mainly caused by unbounded integer variables (x1 and x2
> have no upper bound) having relatively large coefficients in the
> constraint that leads to excessive round-off errors on solving LP
> relaxation.
> 
> [sinp]
> 
> Nevertheless, in both cases the problem is badly formulated. Many
> reseachers do not recommend to use upper bounds of integer variables
> which exceed 100.

Does this mean that the problem is in the formulation of that specific
example or is it a bug in GLPK?  If the later is the case, are you planning
to fix it?

-- 
Rafael