ECLiPSe offers several different libraries for handling symbolic and numeric constraints. They are the fd (finite domain) library, the range library, the ria (real number interval) library, and finally the eplex (MIP) library.