Some practices with Minizinc for 'Programacion con restricciones'