Put your interval consistency solvers here.
