MiniZinc: Fixed skyscraper.mzn
Picat: New: josephus.pi picat_eval.pi skyscraper.pi sort_map.pi Updated: nvalue.pi utils_me.pi