[PPL-devel] Parametric integer linear programming solver

[Sebastian Pop]

Hello,

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.

Thank you,
Sebastian Pop
--
AMD - GNU Tools