A collection of domains for testing heuristic search algorithms, written in Lisp