|
|
82104542de
|
Fix MZNC benchmark
|
2021-03-04 10:50:53 +11:00 |
|
|
|
c6789ffb3a
|
Build custom (relevant) development version of MiniZinc
|
2021-02-24 13:57:27 +11:00 |
|
|
|
0fb92bf5ff
|
Update benchmarks to new mzn-bench repository
|
2021-02-17 10:18:33 +11:00 |
|
|
|
435dbd68e0
|
Add initial scripts to perform benchmarks
|
2020-11-13 10:18:22 +11:00 |
|
