GitHub - JoD/explain-benchmarks: Benchmarks constructed when researching explanations for CP solvers

Name		Name	Last commit message	Last commit date
Latest commit History 87 Commits
bibd_unsat		bibd_unsat
bigtest-optimization		bigtest-optimization
hakank		hakank
jobshop		jobshop
land_conservation		land_conservation
models		models
packing		packing
sudoku		sudoku
temp_design		temp_design
.gitignore		.gitignore
__init__.py		__init__.py