libisl.sourceforge.io
Integer Set Library for the polyhedral model
don't have tea/gui yet? download here
Copy the tea one-liner above into your terminal to install libisl.sourceforge.io. tea will interpret the documentation and take care of any dependencies.