A numerical constraint satisfaction problem (NCSP) solver using hull consistency and a branch-and-prune algorithm.