Describir: Integration of Constraint Programming, Artificial Intelligence, and Operations Research