Extra Credit

isl

isl is a library for manipulating sets and relations of integer points bounded by linear constraints.

Official docs outline

Extra Credit builds an outline of isl's docs the first time your work uses it. Until then, start at the official documentation.

All 500