Picat: some fixes and new programs, e.g. 11 planning problems using the new planner module.
MiniZinc: new model multiplicative_sequence.mzn