| 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 |
