Constraint solver for nonlinear (polynomial) constraints over reals