Text this: Optimised constraint solving for real-world problems