GitHub repository: matthiasdiener/islpy
Primary language: Python
Description: Python wrapper for isl, an integer set library