November 2006 - PPL-devel - BUGSENG Mailman

Re: [PPL-devel] PPL and integer programming
by Roberto Bagnara 07 Nov '06

07 Nov '06

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

1 0

ppl/interfaces/Java jni/ppl_java_Polyhedron.cc ...
by Andrea Cimino 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-07 20:08:36 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc interfaces/Java/ppl_java: Polyhedron.java Log message: Added other Polyhedron methods to the Java interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

ppl/interfaces/Java jni/ppl_java_Polyhedron.cc ...
by Andrea Cimino 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-07 19:22:18 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc interfaces/Java/ppl_java: Polyhedron.java Log message: Added some Polyhedron related methods to the Java interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

ppl/src BD_Shape.templates.hh
by Roberto Bagnara 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-07 19:20:36 Modified files: src : BD_Shape.templates.hh Log message: Useless parentheses removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src checked.inlines.hh
by Abramo Bagnara 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-07 17:04:42 Modified files: src : checked.inlines.hh Log message: Added temporary kludge to fix compiling. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl/src checked.inlines.hh checked_ext.inlines.hh
by Abramo Bagnara 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-07 16:24:02 Modified files: src : checked.inlines.hh checked_ext.inlines.hh Log message: Removed unsafe comparisons. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di…

1 0

ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...
by Elena Mazzi 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-11-07 16:20:45 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh BD_Shape.templates.hh tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : bounds1.cc max_min1.cc Log message: Defined the following methods: - bounds_from_above(); - bounds_from_below(); - bounds(); - max_min(); - maximize(); - minimize(). Added some tests on them. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bounds1.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/max_min1.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src Rounding_Dir.inlines.hh
by Abramo Bagnara 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-07 15:48:10 Modified files: src : Rounding_Dir.inlines.hh Log message: Moved a definition to permit inlining. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding_Dir.inlines.hh.d…

1 0

ppl/src Box.templates.hh Interval.inlines.hh I ...
by Roberto Bagnara 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-07 15:47:57 Modified files: src : Box.templates.hh Interval.inlines.hh Interval_Info.defs.hh Makefile.am Added files: src : Interval_Info.inlines.hh Interval_Info.types.hh Log message: swap() functions and methods for the Interval_Info classes revised. Rewritten Box<Interval>::operator(ostream&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.inlines.hh?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.types.hh?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Enea Zaffanella 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-07 15:23:01 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Fixed a couple of memory leaks in exception_prolog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0