dev-libs/
isl

A library for manipulating integer points bounded by linear constraints

http://isl.gforge.inria.fr/

The dependencies are regularly computed based on the qa-reports.