Put your interval search solvers here.
