dekker.one / half-reif-benchmarks
This repository has no description
Star
Fork 0
Watch

Commits on develop

Merge commit '35a3110598f50bbad22d401f3e84f678ba19c36c' as 'software/chuffed' develop
Jip J. Dekker committed
Squashed 'software/chuffed/' content from commit 2ed0c015
Jip J. Dekker committed
Merge commit '9b7e65e00b158a1eb59a26f068332371f47b4612' as 'software/minizinc'
Jip J. Dekker committed
Squashed 'software/minizinc/' content from commit 5a577826
Jip J. Dekker committed
Replace git submodules by subtrees
Jip J. Dekker committed
Update results
Jip J. Dekker committed
Update MiniZinc version to current develop
Jip J. Dekker committed
Switch back to merge main repository
Jip J. Dekker committed
Setup new MiniZinc Challenge benchmark with CSE fix
Jip J. Dekker committed
Remove raw results from the repository Aggregation in results/ folder should be lossless
Jip J. Dekker committed
Add results without MIPDomains
Jip J. Dekker committed
Add new run of the MiniZinc challenge with more MIP solvers
Jip J. Dekker committed
Add QCP and prize results
Jip J. Dekker committed
Add other MIP solvers for more results
Jip J. Dekker committed
Add initial results of MZNC benchmark
Jip J. Dekker committed
Fix MZNC benchmark
Jip J. Dekker committed
Build custom (relevant) development version of MiniZinc
Jip J. Dekker committed
Add benchmark for the MiniZinc challenge
Jip J. Dekker committed
Add MiniZinc Challenge 2019 and 2020
Jip J. Dekker committed
Add list of globals used in the MiniZinc challenges
Jip J. Dekker committed
Update benchmarks to new mzn-bench repository
Jip J. Dekker committed
Add initial scripts to perform benchmarks
Jip J. Dekker committed
Add initial gitignore
Jip J. Dekker committed
Update MiniZinc submodule to current develop version
Jip J. Dekker committed
Add MiniZinc and Chuffed submodules
Jip J. Dekker committed
Add qcp_max MiniZinc instances
Jip J. Dekker committed
Add prize MiniZinc instances
Jip J. Dekker committed