Giters
MiniZinc
/
minizinc-benchmarks
A suite of MiniZinc benchmarks.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
82
Watchers:
17
Issues:
5
Forks:
29
MiniZinc/minizinc-benchmarks Issues
minizinc-benchmarks: tents/tents_3.dzn is ill-defined
Updated
2 years ago
Potential benchmark example
Updated
4 years ago
Compilation problems
Updated
7 years ago
Comments count
4
No proper license
Closed
8 years ago
Comments count
1
Warnings when flattening mqueens2.mzn
Updated
8 years ago