Describir: Handbook of constraint programming