The BOX interval library is aimed to be used through the APRON interface.
Use of Box Allocating Box managers