[PPL-devel] Parametric integer linear programming solver

[Sebastian Pop]

On Wed, May 13, 2009 at 16:42, Cédric Bastoul <cedric.bastoul at 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 at 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 at cs.unipr.it
>>
>