Solve the Missionaries and Cannibals Problem with SAS

The Missionaries and Cannibals Problem (MCP) is a classic river-crossing logic puzzle. With SAS, we can solve this problem, visualize the solutions with SAS NETDRAW procedure and generate steps for any MCP problems.