|
|
b40e31c855
|
Merge commit '35a3110598f50bbad22d401f3e84f678ba19c36c' as 'software/chuffed'
|
2021-06-18 09:36:35 +10:00 |
|
|
|
35a3110598
|
Squashed 'software/chuffed/' content from commit 2ed0c015
git-subtree-dir: software/chuffed
git-subtree-split: 2ed0c01558d2a5c49c1ce57e048d32c17adf92d3
|
2021-06-18 09:36:35 +10:00 |
|
|
|
49f32e936b
|
Merge commit '9b7e65e00b158a1eb59a26f068332371f47b4612' as 'software/minizinc'
|
2021-06-18 09:34:50 +10:00 |
|
|
|
9b7e65e00b
|
Squashed 'software/minizinc/' content from commit 5a577826
git-subtree-dir: software/minizinc
git-subtree-split: 5a577826da4d7cf6195f28b5604d8d20a01fbc6e
|
2021-06-18 09:34:50 +10:00 |
|
|
|
f2ce66ace9
|
Replace git submodules by subtrees
|
2021-06-18 09:34:18 +10:00 |
|
|
|
1338573c66
|
Update results
|
2021-03-25 14:27:55 +11:00 |
|
|
|
da5aea9603
|
Update MiniZinc version to current develop
|
2021-03-23 16:46:22 +11:00 |
|
|
|
f271ff963b
|
Switch back to merge main repository
|
2021-03-22 11:01:38 +11:00 |
|
|
|
d8b9bf2b39
|
Setup new MiniZinc Challenge benchmark with CSE fix
|
2021-03-22 10:58:24 +11:00 |
|
|
|
c6d45dd761
|
Remove raw results from the repository
Aggregation in results/ folder should be lossless
|
2021-03-22 10:57:50 +11:00 |
|
|
|
2c7d85a262
|
Add results without MIPDomains
|
2021-03-22 10:54:55 +11:00 |
|
|
|
f7ae0571e6
|
Add new run of the MiniZinc challenge with more MIP solvers
|
2021-03-12 11:33:32 +11:00 |
|
|
|
428f980eb7
|
Add QCP and prize results
|
2021-03-11 17:39:58 +11:00 |
|
|
|
0d2debade2
|
Add other MIP solvers for more results
|
2021-03-05 11:16:09 +11:00 |
|
|
|
44117dde5d
|
Add initial results of MZNC benchmark
|
2021-03-04 10:53:44 +11:00 |
|
|
|
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 |
|
|
|
586f751682
|
Add benchmark for the MiniZinc challenge
|
2021-02-24 10:36:04 +11:00 |
|
|
|
ec16157e9b
|
Add MiniZinc Challenge 2019 and 2020
|
2021-02-24 10:35:39 +11:00 |
|
|
|
b140dba4a1
|
Add list of globals used in the MiniZinc challenges
|
2021-02-17 10:19:13 +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 |
|
|
|
908ad93ce6
|
Add initial gitignore
|
2020-11-13 10:18:02 +11:00 |
|
|
|
25eab7c46b
|
Update MiniZinc submodule to current develop version
|
2020-11-13 10:15:24 +11:00 |
|
|
|
c75c9fa338
|
Add MiniZinc and Chuffed submodules
|
2020-11-13 10:01:28 +11:00 |
|
|
|
8b8f362803
|
Add qcp_max MiniZinc instances
|
2020-11-13 09:55:39 +11:00 |
|
|
|
3f55e680a9
|
Add prize MiniZinc instances
|
2020-11-13 09:55:24 +11:00 |
|
