My models in Eclipse CLP that I had used with my students