File | Mode | Size |
---|---|---|
compile-to-zinc-only-registers.py | -rw-r--r-- | 13.8 KB |
compile-to-zinc-registers.py | -rw-r--r-- | 26.4 KB |
compile-to-zinc.py | -rwxr-xr-x | 26.4 KB |
exhaustive-search.py | -rwxr-xr-x | 18.4 KB |
femulData0.dot | -rw-r--r-- | 19.4 KB |
femulData0.png | -rw-r--r-- | 1.9 MB |
femulData0.svg | -rw-r--r-- | 145.1 KB |
femulDisplay.log | -rw-r--r-- | 2.8 KB |
femulDisplayReg_0.mzn | -rw-r--r-- | 9.5 KB |
femulDisplayReg_1.mzn | -rw-r--r-- | 9.7 KB |
femulDisplayReg_2.mzn | -rw-r--r-- | 3.8 KB |
femulDisplayReg_3.mzn | -rw-r--r-- | 3.8 KB |
femulDisplayScheduled0.log | -rw-r--r-- | 9.6 KB |
femulDisplay_0.mzn | -rw-r--r-- | 13.0 KB |
femulDisplay_1.mzn | -rw-r--r-- | 7.8 KB |
femulScheduled.log | -rw-r--r-- | 4.9 KB |
heuristic-search.py | -rwxr-xr-x | 37.9 KB |
make-graph-with-reg-by-ac-buckets.py | -rwxr-xr-x | 44.1 KB |
make-graph-with-reg.py | -rwxr-xr-x | 13.4 KB |
make-graph.py | -rwxr-xr-x | 5.2 KB |
memoize.py | -rw-r--r-- | 583 bytes |