ZZ3 - Constraint programming