[Bug-glpk] Re: Assertion triggered

[Anders Franzen]

On Sat, 11 Sep 2004, Andrew Makhorin wrote:

> The error happens because ...

Thanks for the prompt reply!

> I would like to note that your problem has no integer feasible solution
> when all integer variables are limited in the range [-10000,+10000] that
> says that the problem is badly formulated.

Yes, I know. I use GLPK together with a SAT solver as a decision
procedure for formal verification of software, and almost all of
the integer programing problems that are generated are infeasible.
Usually, the LP relaxation is also infeasible, but not in this case.

/Anders
--
Anders FranzИn
address@hidden