Constraint solver for nonlinear (polynomial) constraints over reals - View it on GitHub