[next] [prev] [prev-tail] [tail] [up]
The software is implemented in the programming language O’Caml. It uses the interval and constraint propgation library smathlib .
[next] [prev] [prev-tail] [front] [up]