MiniZinc minizinc-benchmarks issues - Githubissues

MiniZinc / minizinc-benchmarks

A suite of MiniZinc benchmarks.

MIT License

82 stars 29 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

minizinc-benchmarks: tents/tents_3.dzn is ill-defined

#12 matsc-at-sics-se opened 1 year ago
0
Potential benchmark example

#11 a1880 opened 3 years ago
0
VRP refactoring

#10 informarte opened 3 years ago
4
Added missing metadata from 2011 and 2014 challenges

#9 lokdlok opened 5 years ago
0
Compilation problems

#8 schutta opened 7 years ago
4
Added missing problems and instances from the MiniZinc challenges 2012 to 2015

#7 informarte opened 8 years ago
0
Annotated redundant constraints

#6 informarte opened 8 years ago
0
No proper license

#5 informarte closed 8 years ago
1
Warnings when flattening mqueens2.mzn

#4 siala opened 8 years ago
0
Annotated redundant constraints

#3 informarte closed 8 years ago
1
Use gcc instead of exactly in roster model

#2 informarte closed 8 years ago
0
Fixed roster model

#1 informarte closed 8 years ago
1