Describir: Logic and Integer Programming