The software is implemented in the programming language O'Caml. It uses the interval and constraint propgation library smathlib.
