Constraint Solving and Planning with Picat

All code files: codes.tar.gz | codes.zip

• array_map.pi
• assign.pi
• edge.pi
• fib.pi
• gen.pi
• if_then_else.pi
• list.pi
• matrix_multi.pi
• min_max.pi
• qsort.pi
• rect.pi
• test_rect.pi
• transpose.pi
• unification.pi
• var_scope.pi
• zip.pi

• coins_grid.pi
• diet.pi
• diet2.pi
• minesweeper.pi
• nqueens1.pi
• nqueens2.pi
• nqueens3.pi
• send_more_money.pi
• sudoku.pi

• alldifferent_except_0.pi
• furniture.pi
• global_contiguity.pi
• knight_tour.pi
• langford.pi
• langford2.pi
• magic_sequence.pi
• magic_square.pi
• nurse_rostering.pi
• nurse_rostering2.pi
• who_killed_agatha.pi

• coins.pi
• edge.pi
• edit.pi
• egg.pi
• hanoi.pi
• knapsack.pi
• knapsack2.pi
• lis.pi
• route.pi
• sp1.pi
• sp2.pi
• table_mode.pi

• klotski.pi
• missionaries_and_cannibals.pi
• sokoban.pi

• 15_puzzle.pi
• blocks_world.pi
• deadfish.pi
• logistics.pi

• tsp_cp.pi
• tsp_cp2.pi
• tsp_mip.pi
• tsp_planner.pi
• tsp_sat.pi