The name of the puzzle is eight-men-raft.
Load init-8men.
Ok.
If a clear location is to the right of a blue peg then you can move the peg onto the location.
If a location is not below an object then it is clear.
If an object is a block then it is a peg.
If a clear location is to the left of a red peg then you can move the peg onto the location.
Load second-8men.
If a red peg is to the right of a peg and the peg is to the right of a clear location then you can move the red peg onto the clear location.
If a blue peg is to the left of a peg and the peg is to the left of a clear location then you can move the blue peg onto the clear location.
The solution has twenty-four steps.
Load final-8men.
The name of the goal is red-blue-matched.
Ok.
The goal is that all the red blocks are on the red locations and all the blue blocks are on the blue locations.
Done.
No.