This library implements variables that range over integer or real intervals. It is meant to be used as a common basis for arithmetic constraint solvers, and it can serve as a mechanism to make such solvers communicate.