Introduction - If you have any usage issues, please Google them yourself
This cannibals and missionaries program is the first AI problem that used modern techniques of search trees. This design document describes the implementation made by Chris Lattner