Re: [Help-glpk] order restrictions

[Andrew Makhorin]

> Heh.  Using 'glpsol  --minisat'   gave the answer almost
> instantaneously [it took ~15 hours without the --minisat option].
> 

Please note that --minisat allows to find only an integer feasible
solution, i.e. it solves an integer feasibility problem. To find a
better integer feasible solution you also need to specify --objbnd
option, which introduces an additional inequality constraint to limit
the objective value.