"Missionaries & cannibals" problem solver with heuristic search.