Text this: Global Optimization and Constraint Satisfaction