Text this: Logic and Integer Programming