On Wed, May 13, 2009 at 16:42, Cédric Bastoul cedric.bastoul@inria.fr wrote:
PIP/PipLib is now under LGPL 2.1+. The sources in the repository already reflect this change, contrary to the "latest" public version of the website. However one can extract the 1.4.0 version from the Git repository which is under LGPL.
These are excellent news!
On Wed, May 13, 2009 at 5:10 PM, Roberto Bagnara bagnara@cs.unipr.it wrote:
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.
Would it be possible to ship the PIPlib code with PPL to avoid having one more library dependence in GCC?
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@cs.unipr.it