Enable Gist, the Gecode Interactive Search Tool Enable trigonometric and transcendental float constraints