Source Code for Hillary

This page contains the source code for Hillary and the source code
for the NxN puzzle domain. To execute Hillary on the NxN puzzle domain just execute
"(parametric-hillary)". Updates and demos can be found at
http://www.cs.technion.ac.il/~shaulm/hillary.html