EEN025 Constraint programming and applied optimization