Andy Moser wrote:

Thanks a lot for providing the snapshot! We had no problems whatsoever using the new version. The only small bug that occurred was that when we called is_feasible() or solve() on an empty instance (e.g., no variables, no constraints) of an MIP_Problem class, we got the following error:

what(): PPL::Variable::Variable(i): i exceeds the maximum allowed variable identifier.

Dear Andy, thanks for the report: the bug is already fixed in CVS.

Apart from that, everything worked really well and we could finish our application and the paper. If you are interested in the results, I attached a copy for you.

I will read it with interest, thanks.

Thanks again for your cooperation!

Glad to be useful! All the best, Roberto on behalf of the PPL team -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it