ICOS (interval constraints solver)’, WWW-document, available at http://sites.google.com/site/ylebbah/icos (2003)

by Y Lebbah