| File | Mode | Size |
|---|---|---|
| bin | ||
| docker | ||
| job_dispatcher | ||
| kb | ||
| minizinc_challenge | ||
| solvers | ||
| src | ||
| test | ||
| tmp | ||
| .gitignore | -rw-r--r-- | 28 bytes |
| CHANGELOG.md | -rw-r--r-- | 1.5 KB |
| LICENSE.txt | -rw-r--r-- | 663 bytes |
| README.md | -rw-r--r-- | 5.3 KB |
| changelog.mp | -rw-r--r-- | 318 bytes |
| install.sh | -rwxr-xr-x | 1.7 KB |
