[PPL-devel] Parametric integer linear programming solver

[Roberto Bagnara]

Sebastian Pop wrote:
> Hello,

Hi Sebastian!

> I would like to know whether there exists a parametric integer linear
> programming solver that can be called from the PPL interface,

Not that I know.

> or how
> we could use from PPL an existing solver, like http://piplib.org

The file piplib-1.3.6/doc/pip.pdf says that PIPLIB is under GPLv2.
As fas as I know, this implies PIPLIB cannot be combined with the
current version of the PPL, which is GPLv3+, into something distributable.
However, if the PIPLIB authors will release under a GPLv3-compatible
license, we are willing to help building an interface.

> We would need such a tool to improve the precision of the data
> dependence analysis of Graphite by computing the reaching definitions
> of array accesses.

I see.  We had some plans to establish a collaboration with
the objective to incorporate this functionality into the PPL.
I have just contacted the people involved: I will let you know.
Cheers,

    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