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: [EMAIL PROTECTED] 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 _______________________________________________ Bug-glpk mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-glpk
