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