[PPL-devel] [Fwd: Re: PPL and integer programming]

[Roberto Bagnara]

To PPL developers: if you want to take a look at the paper on malware
detection, just let me know.

     Roberto


-------- Original Message --------
Subject: Re: PPL and integer programming
Date: Wed, 15 Nov 2006 16:26:47 +0100
From: Andy Moser <andy at seclab.tuwien.ac.at>
To: Roberto Bagnara <bagnara at cs.unipr.it>
References: <1162931323.29615.6.camel at localhost.localdomain>	 <4550EEAC.8040003 at cs.unipr.it>	 <1162978729.16401.6.camel at localhost.localdomain>	 <45541C92.4010702 at cs.unipr.it>

Hi Roberto,

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.

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.

Thanks again for your cooperation!

Ciao,
Andy


-- 
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