MaxSAT - 8-puzzle

Solution to 8-puzzle (debug)

Author
jeroen

Algorithm
MaxSAT
1

Runtime
23.4337ms

Cost
8

Started
2022-05-02 14:38:25.134 +0000 UTC

path for agent starting at {{1 0} 2} and color 2 ended on a target location of color 1

path for agent starting at {{2 0} 4} and color 4 ended on a target location of color 2

path for agent starting at {{1 1} 7} and color 7 ended on a target location of color 4

path for agent starting at {{2 1} 1} and color 1 ended on a target location of color 5

path for agent starting at {{1 2} 5} and color 5 ended on a target location of color 7