This work is licensed under a Creative Commons Attribution 4.0 International License. | File | Type | Notes |
|---|---|---|
| non_MiniZinc_Benchmarks_Results.zip | zip | Results for dzn files for non.mzn |
This work is licensed under a Creative Commons Attribution 4.0 International License.