Text this: Logic-based methods for optimization :