alpha
Login
Join now
dekker.one
/
half-reif-benchmarks
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
This repository has no description
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
C++
45%
MiniZinc
42%
6%
C
4%
Python
2%
CMake
<1%
Makefile
<1%
HTML
<1%
TeX
<1%
JavaScript
<1%
CSS
<1%
Shell
<1%
develop
Branches
develop
Tags
No tags found
View all branches
View all tags
27
1
0
Code
Clone this repository
Use permalink
HTTPS
https://next.tangled.org/dekker.one/half-reif-benchmarks
SSH
git@knot.dekker.one:dekker.one/half-reif-benchmarks
For self-hosted knots, clone URLs may differ based on your setup.
tar.gz
.zip
data
5y ago
results
5y ago
software
5y ago
.gitignore
5y ago
bench_env.sh
5y ago
globals_used.md
5y ago
mznc_benchmark.py
5y ago
mznc_instances.csv
5y ago
Pipfile
5y ago
Pipfile.lock
5y ago
prize_benchmark.py
5y ago
prize.csv
5y ago
qcp_benchmark.py
5y ago
qcp_max.csv
5y ago
Commits
27
Merge commit '35a3110598f50bbad22d401f3e84f678ba19c36c' as 'software/chuffed'
b40e31c8
Jip J. Dekker
·
5y ago
Squashed 'software/chuffed/' content from commit 2ed0c015
35a31105
Jip J. Dekker
·
5y ago
Merge commit '9b7e65e00b158a1eb59a26f068332371f47b4612' as 'software/minizinc'
49f32e93
Jip J. Dekker
·
5y ago
Squashed 'software/minizinc/' content from commit 5a577826
9b7e65e0
Jip J. Dekker
·
5y ago
Replace git submodules by subtrees
f2ce66ac
Jip J. Dekker
·
5y ago
Update results
1338573c
Jip J. Dekker
·
5y ago
Update MiniZinc version to current develop
da5aea96
Jip J. Dekker
·
5y ago
Switch back to merge main repository
f271ff96
Jip J. Dekker
·
5y ago
Setup new MiniZinc Challenge benchmark with CSE fix
d8b9bf2b
Jip J. Dekker
·
5y ago
Remove raw results from the repository Aggregation in results/ folder should be lossless
c6d45dd7
Jip J. Dekker
·
5y ago
Branches
1
develop
·
5y ago
Default