Storyboard FerrymansProblemExample

initial situation:

5*1
6*1
7*1
8*1
9*1
10*1
11*1
5: 1:    name: left
   age: 0
   boat: 2
   river: 4
   cargos: 3 3 3 
6: 1:    name: right
   age: 0
   river: 4
7: 2:    river: 4
   bank: 1
8: 3:    name: cabbage
   bank: 1
9: 3:    name: goat
   bank: 1
10: 3:    name: wolf
   bank: 1
11: 4:    boat: 2
   banks: 1 1 
1: Bank
2: Boat
3: Cargo
4: River

Reachable State 1

Reachable State 2

Reachable State 3

Reachable State 4

Reachable State 5

Reachable State 6

Reachable State 7

Reachable State 8

Reachable State 9

Reachable State 10

Reachable State 11

Reachable State 12

Reachable State 13

Reachable State 14

Reachable State 15

Reachable State 16

Reachable State 17

Reachable State 18

Reachable State 19

Reachable State 20

Reachable State 21

Reachable State 22

Reachable State 23

Reachable State 24

Reachable State 25

Reachable State 26

Check: Number of Reachable States expected: 27 actual 27

Small reachbility graph with hyperlinks to states:

large reachbility graph with embedded states:

Found a solution.