prob018: Added MiniZinc and Comet models