Text this: Logic and integer programming