[PPL-devel] PPL and integer programming

[Roberto Bagnara]

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 at cs.unipr.it