Parametric Integer Linear Programming Solver and Polyhedral compilation backend - View it on GitHub