[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-glpk] Re: Assertion triggered
From: |
Anders Franzen |
Subject: |
[Bug-glpk] Re: Assertion triggered |
Date: |
Mon, 13 Sep 2004 11:43:04 +0200 (CEST) |
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