Allen Webster and Allen Webster River Crossing Solver - Ungeneralized