/etc/compile-by-zinc/
../
compile-to-zinc-only-registers.py
compile-to-zinc-registers.py
compile-to-zinc.py
exhaustive-search.py
femulData0.dot
femulData0.png
femulData0.svg
femulDisplay.log
femulDisplayReg_0.mzn
femulDisplayReg_1.mzn
femulDisplayReg_2.mzn
femulDisplayReg_3.mzn
femulDisplayScheduled0.log
femulDisplay_0.mzn
femulDisplay_1.mzn
femulScheduled.log
heuristic-search.py
make-graph-with-reg-by-ac-buckets.py
make-graph-with-reg.py
make-graph.py
memoize.py