Zaslat SMS: Handbook of constraint programming