A library for manipulating integer points bounded by linear constraints
https://libisl.sourceforge.io/