[PPL-devel] Parametric integer linear programming solver

[Roberto Bagnara]

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