Re: [Bug-glpk] Assertion failed: avl_get_node_type(node) == A_INDEX - glpmpl01.c at line 1890

[Andrew Makhorin]

> It seems, that it is related to the model and data file.
>
> model questao01.mod and data questao01.dat don't have any problem.
> model questao02.mod and data questao02.dat present a problem.
>
> The .mod and .dat files are attached.

Thank you for the bug report.

The bug appears in the MathProg translator on processing statements like
the following:

s.t. Colheita{j in J, t in T}: P[j,t] = sum{k in K}t[1,j,k,t];

Here are used two symbols 't' in the same scope, one of which is a dummy
index, and other is a variable, i.e. this statement is invalid. However,
the translator detects this error too late and therefore crashes.

I will fix the bug in a next release of the package.

To avoid the bug you need to use distinct names for dummy indices and
other objects in the same scope.


Andrew Makhorin