The puzzle solver was developed by Joseph Bowbeer with the
help of Philip Krause, J. O'Brien, and M. Tuceiryan at the University
of Illinois. The solver is based on a 5-puzzle kernel operating on a
set of rules developed by Donald Michie at the
University of Edinburgh.