A Java applet that uses interval arithmetic techniques to solve systems of non-linear constraints. It includes a 'safe plotting' feature for plotting projections of the constraint set onto any two variables. The source code is also available.