Commit Graph

Select branches

Hide Pull Requests

develop

Mono Color

• b40e31c855 Merge commit '35a3110598f50bbad22d401f3e84f678ba19c36c' as 'software/chuffed' develop Jip J. Dekker 2021-06-18 09:36:35 +10:00
• 35a3110598 Squashed 'software/chuffed/' content from commit 2ed0c015 Jip J. Dekker 2021-06-18 09:36:35 +10:00
• 49f32e936b Merge commit '9b7e65e00b158a1eb59a26f068332371f47b4612' as 'software/minizinc' Jip J. Dekker 2021-06-18 09:34:50 +10:00
• 9b7e65e00b Squashed 'software/minizinc/' content from commit 5a577826 Jip J. Dekker 2021-06-18 09:34:50 +10:00
• f2ce66ace9
  Replace git submodules by subtrees Jip J. Dekker 2021-06-18 09:34:18 +10:00
• 1338573c66
  Update results Jip J. Dekker 2021-03-25 14:27:55 +11:00
• da5aea9603
  Update MiniZinc version to current develop Jip J. Dekker 2021-03-23 16:46:22 +11:00
• f271ff963b
  Switch back to merge main repository Jip J. Dekker 2021-03-22 11:01:38 +11:00
• d8b9bf2b39
  Setup new MiniZinc Challenge benchmark with CSE fix Jip J. Dekker 2021-03-22 10:58:24 +11:00
• c6d45dd761
  Remove raw results from the repository Aggregation in results/ folder should be lossless Jip J. Dekker 2021-03-22 10:57:50 +11:00
• 2c7d85a262
  Add results without MIPDomains Jip J. Dekker 2021-03-22 10:54:55 +11:00
• f7ae0571e6
  Add new run of the MiniZinc challenge with more MIP solvers Jip J. Dekker 2021-03-11 17:37:26 +11:00
• 428f980eb7
  Add QCP and prize results Jip J. Dekker 2021-03-11 17:34:35 +11:00
• 0d2debade2
  Add other MIP solvers for more results Jip J. Dekker 2021-03-05 11:16:09 +11:00
• 44117dde5d
  Add initial results of MZNC benchmark Jip J. Dekker 2021-03-04 10:53:44 +11:00
• 82104542de
  Fix MZNC benchmark Jip J. Dekker 2021-03-04 10:50:53 +11:00
• c6789ffb3a
  Build custom (relevant) development version of MiniZinc Jip J. Dekker 2021-02-24 10:40:48 +11:00
• 586f751682
  Add benchmark for the MiniZinc challenge Jip J. Dekker 2021-02-24 10:36:04 +11:00
• ec16157e9b
  Add MiniZinc Challenge 2019 and 2020 Jip J. Dekker 2021-02-24 10:35:39 +11:00
• b140dba4a1
  Add list of globals used in the MiniZinc challenges Jip J. Dekker 2021-02-17 10:19:13 +11:00
• 0fb92bf5ff
  Update benchmarks to new mzn-bench repository Jip J. Dekker 2021-02-17 10:18:33 +11:00
• 435dbd68e0 Add initial scripts to perform benchmarks Jip J. Dekker 2020-11-13 10:18:22 +11:00
• 908ad93ce6 Add initial gitignore Jip J. Dekker 2020-11-13 10:18:02 +11:00
• 25eab7c46b Update MiniZinc submodule to current develop version Jip J. Dekker 2020-11-13 10:15:24 +11:00
• c75c9fa338 Add MiniZinc and Chuffed submodules Jip J. Dekker 2020-11-13 10:01:28 +11:00
• 8b8f362803 Add qcp_max MiniZinc instances Jip J. Dekker 2020-11-13 09:55:39 +11:00
• 3f55e680a9 Add prize MiniZinc instances Jip J. Dekker 2020-11-13 09:55:24 +11:00