dev-libs/
isl

A library for manipulating integer points bounded by linear constraints

https://libisl.sourceforge.io/