Re: [Bug-glpk] Difference, 32bit build - 64bit build

[Christoph Cullmann]

On Wednesday 24 September 2008 21:55:55 Andrew Makhorin wrote:
> The error looks the same as described in the article:
> A. Neumaier and O. Shcherbina, Safe bounds in linear and mixed-integer
> programming, Math. Programming A 99 (2004), 283-296
> www.mat.univie.ac.at/~neum/ms/mip.ps.gz
> when a problem found primal infeasible becomes primal feasible after
> tightening bounds of variables.
Oh, thank you :)

Interesting, will forward that paper, too, to our developer who generates the 
ILPs. We use ILPs for program path analysis. The problem I have send to you 
was such an output of the path analysis. The ILP is used to determine the 
longest path.

More information about this is available here, if you have any interest:
http://rw4.cs.uni-sb.de/~theiling/publications.html

cu & thx
Christoph

-- 
-------------------------------------- Christoph Cullmann ---------
AbsInt Angewandte Informatik GmbH      Email: address@hidden
Science Park 1                         Tel:   +49-681-38360-22
66123 Saarbrücken                      Fax:   +49-681-38360-20
GERMANY                                WWW:   http://www.AbsInt.com
--------------------------------------------------------------------
Geschäftsführung: Dr.-Ing. Christian Ferdinand
Eingetragen im Handelsregister des Amtsgerichts Saarbrücken, HRB 11234