Toolkit to manage sets of closed intervals.
https://gitlab.inria.fr/bleuse/procset.py.git
(b3220808f50f9d1340bcb597e3b03858f4f453c5)
