Picat: Added 8_puzzle.pi 8_puzzle_gps.pi Changed blocks_world_gps.pi gps_utils.pi rotation.pi temporal_reasoning.pi test_planner_1d_rubiks_cube.pi
MiniZinc: added jobshop.mzn jobshop2.mzn jobshop_abz6.dzn jobshop_mt06.dzn jobshop_mt10.dzn jobshop_newspaper.dzn wiseman_problem_20131129.mzn. Updated: newspaper0.mzn