[PPL-devel] Parametric integer linear programming solver

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