My models in minizinc that I had used with my students