/etc/compile-by-zinc/
../
compile-to-zinc.py
exhaustive-search.py
femulDisplay.log
heuristic-search.py
make-graph.py
memoize.py