[PPL-devel] PPL and integer programming

[Roberto Bagnara]

Andy Moser wrote:
> Dear Sir,
> 
> I'm a PhD student at the Technical University of Vienna and I'm working
> on a dynamic analysis tool for malware. For our project we need to solve
> some very easy lp instances and right now we are using the PPL. Right
> now, however, we are encountering some equally easy Integer Linear
> Programming instances. Is there a way to solve those problems using the
> PPL? We think it is a great piece of software and it would be a pity if
> we had to switch.
> 
> Thanks in advance!
> 
> Regards,
> Andy Moser

Dear Andy,

yes, the CVS HEAD version of the PPL (i.e., what around January 2007 will
become PPL 0.10) has a new MIP_Problem class that can solve Mixed Integer
Programming problems.  If you don't mind working with experimental software,
we can prepare a snapshot release for you.
All the best,

    Roberto

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