Polyhedral Transformation, Linear Programming Solver, Polyhedral based dependence analysis - View it on GitHub