See also [tag:water-jug-problem].
I am working on solving the classic Missionaries(M) and Cannibals(C) problem, the start state is 3 M and 3 C …