[PPL-devel] Parametric integer linear programming solver

[Sebastian Pop]

On Wed, Oct 7, 2009 at 12:30, Roberto Bagnara <bagnara at cs.unipr.it> wrote:
> Sebastian Pop wrote:
>>
>> I would like to know whether there exists a parametric integer linear
>> programming solver that can be called from the PPL interface, or how
>> we could use from PPL an existing solver, like http://piplib.org
>>
>> 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.
>
> Hi there.
>
> I am very happy to announce that, mainly thanks to the excellent
> work of François Galea, the PPL now incorporates a parametric integer
> linear programming solver.  We are currently adding a C interface
> to it, and we would like the Graphite people to help us testing it.
> In the next few days we will submit a tentative documentation
> for the C interface, so that you can provide us with feedback.
> Once the interfaces are agreed upon, we will prepare a snapshot
> for you to play with (for your convenience only, as the
> PPL is in constant release mode: you can find all the code in the
> `pip' branch of the central PPL Git repository).

Awesome!  Thanks to everyone who contributed to make this happen.

I will work on a prototype that will use this solver in the data
dependence analysis of Graphite, and will let you know how it works.

Sebastian