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@seclab.tuwien.ac.at To: Roberto Bagnara bagnara@cs.unipr.it References: 1162931323.29615.6.camel@localhost.localdomain 4550EEAC.8040003@cs.unipr.it 1162978729.16401.6.camel@localhost.localdomain 45541C92.4010702@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