Here are all the solutions using Computer Algebra of the Cabbage, Sheep, W\ olf, Probelm {[[-1, 0, -1, 0], [1, 0, 0, 0], [-1, -1, 0, 0], [1, 0, 1, 0], [-1, 0, 0, -1], [ 1, 0, 0, 0], [-1, 0, -1, 0]], [[-1, 0, -1, 0], [1, 0, 0, 0], [-1, 0, 0, -1], [1 , 0, 1, 0], [-1, -1, 0, 0], [1, 0, 0, 0], [-1, 0, -1, 0]]} ------------------------------ Here are all the solution using Computer Algebra of the original 3 Missionar\ ies and 3 Cannibals {[[-1, -1], [1, 0], [0, -2], [0, 1], [-2, 0], [1, 1], [-2, 0], [0, 1], [0, -2], [0, 1], [0, -2]], [[-1, -1], [1, 0], [0, -2], [0, 1], [-2, 0], [1, 1], [-2, 0], [0, 1], [0, -2], [1, 0], [-1, -1]], [[0, -2], [0, 1], [0, -2], [0, 1], [-2, 0], [1, 1], [-2, 0], [0, 1], [0, -2], [0, 1], [0, -2]], [[0, -2], [0, 1], [0, -2], [0, 1], [-2, 0], [1, 1], [-2, 0], [0, 1], [0, -2], [1, 0], [-1, -1]]} ------------------------------ Here are all the solution using Computer Algebra of the 4 Missionaries and \ 4 Cannibals and Boat Size 3 problem {[[-1, -1], [1, 0], [-2, -1], [1, 1], [-3, 0], [0, 1], [0, -3], [0, 1], [0, -2] ], [[-1, -1], [1, 0], [-2, -1], [1, 1], [-3, 0], [0, 1], [0, -3], [0, 2], [0, -\ 3]], [[-1, -1], [1, 0], [-2, -1], [1, 1], [-3, 0], [0, 1], [0, -3], [1, 0], [-1 , -1]], [[-1, -1], [1, 0], [-2, -1], [1, 1], [-3, 0], [0, 1], [0, -2], [0, 1], [0, -3]], [[-1, -1], [1, 0], [0, -3], [0, 1], [-3, 0], [1, 1], [-2, -1], [0, 1] , [0, -2]], [[-1, -1], [1, 0], [0, -3], [0, 1], [-3, 0], [1, 1], [-2, -1], [0, 2], [0, -3]], [[-1, -1], [1, 0], [0, -3], [0, 1], [-3, 0], [1, 1], [-2, -1], [1 , 0], [-1, -1]], [[-1, -1], [1, 0], [0, -3], [0, 1], [-3, 0], [1, 1], [-2, 0], [0, 1], [0, -3]], [[0, -3], [0, 1], [-2, 0], [1, 1], [-3, 0], [0, 1], [0, -3], [0, 1], [0, -2]], [[0, -3], [0, 1], [-2, 0], [1, 1], [-3, 0], [0, 1], [0, -3], [0, 2], [0, -3]], [[0, -3], [0, 1], [-2, 0], [1, 1], [-3, 0], [0, 1], [0, -3], [1, 0], [-1, -1]], [[0, -3], [0, 1], [-2, 0], [1, 1], [-3, 0], [0, 1], [0, -2], [0, 1], [0, -3]], [[0, -3], [0, 1], [0, -2], [0, 1], [-3, 0], [1, 1], [-2, -1], [0, 1], [0, -2]], [[0, -3], [0, 1], [0, -2], [0, 1], [-3, 0], [1, 1], [-2, -1], [0, 2], [0, -3]], [[0, -3], [0, 1], [0, -2], [0, 1], [-3, 0], [1, 1], [-2, -1], [1, 0], [-1, -1]], [[0, -3], [0, 1], [0, -2], [0, 1], [-3, 0], [1, 1], [-2, 0], [0, 1], [0, -3]], [[0, -3], [0, 2], [-2, -1], [1, 1], [-3, 0], [0, 1], [0, -3], [0, 1], [0, -2]], [[0, -3], [0, 2], [-2, -1], [1, 1], [-3, 0], [0, 1], [0, -3], [0, 2], [0, -3]], [[0, -3], [0, 2], [-2, -1], [1, 1], [-3, 0], [0, 1], [0, -3], [1, 0], [-1, -1]], [[0, -3], [0, 2], [-2, -1], [1, 1], [-3, 0], [0, 1], [0, -2] , [0, 1], [0, -3]], [[0, -3], [0, 2], [0, -3], [0, 1], [-3, 0], [1, 1], [-2, -1 ], [0, 1], [0, -2]], [[0, -3], [0, 2], [0, -3], [0, 1], [-3, 0], [1, 1], [-2, -\ 1], [0, 2], [0, -3]], [[0, -3], [0, 2], [0, -3], [0, 1], [-3, 0], [1, 1], [-2, -1], [1, 0], [-1, -1]], [[0, -3], [0, 2], [0, -3], [0, 1], [-3, 0], [1, 1], [-2 , 0], [0, 1], [0, -3]], [[0, -2], [0, 1], [-2, -1], [1, 1], [-3, 0], [0, 1], [0 , -3], [0, 1], [0, -2]], [[0, -2], [0, 1], [-2, -1], [1, 1], [-3, 0], [0, 1], [ 0, -3], [0, 2], [0, -3]], [[0, -2], [0, 1], [-2, -1], [1, 1], [-3, 0], [0, 1], [0, -3], [1, 0], [-1, -1]], [[0, -2], [0, 1], [-2, -1], [1, 1], [-3, 0], [0, 1] , [0, -2], [0, 1], [0, -3]], [[0, -2], [0, 1], [0, -3], [0, 1], [-3, 0], [1, 1] , [-2, -1], [0, 1], [0, -2]], [[0, -2], [0, 1], [0, -3], [0, 1], [-3, 0], [1, 1 ], [-2, -1], [0, 2], [0, -3]], [[0, -2], [0, 1], [0, -3], [0, 1], [-3, 0], [1, 1], [-2, -1], [1, 0], [-1, -1]], [[0, -2], [0, 1], [0, -3], [0, 1], [-3, 0], [1 , 1], [-2, 0], [0, 1], [0, -3]]}