[PPL-devel] Parametric integer linear programming solver

[Cédric Bastoul]

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.

Cedric

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.
>
>> 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
>