Testing Missionaries and Cannibals


> (load "/u/cs381k/miscan.lsp")

> (testmc 1 1)

((MC 1 1))

> (testmc 2 1)

((MM 2 0) (M 1 0) (MC 1 1))

>  (testmc 3 3)

((MC 1 1) (M 1 0)  (CC 0 2) (C 0 1)
 (MM 2 0) (MC 1 1) (MM 2 0) (C 0 1)
 (CC 0 2) (M 1 0)  (MC 1 1))

>  (testmc 4 4)

FAILURE

Contents    Page-10    Prev    Next    Page+10    Index