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