drwxr-xr-x | .. | ||
-rwxr-xr-x | 1710 | gold-no-min-guarantee.dzn | blob | history | raw |
-rwxr-xr-x | 1710 | gold.dzn | blob | history | raw |
-rwxr-xr-x | 1502 | normal-silver-less-pref.dzn | blob | history | raw |
-rwxr-xr-x | 15791 | placement-minizinc.ipynb | blob | history | raw |
-rwxr-xr-x | 5339 | placement.mzn | blob | history | raw |
-rwxr-xr-x | 1713 | silver-high-edge-load.dzn | blob | history | raw |
-rwxr-xr-x | 1712 | silver.dzn | blob | history | raw |