MiniZinc: added cycle_test3.mzn and countdown.mzn
Picat: New and updates