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