Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / minizinc/minizinc-benchmarks issues and pull requests
#12 - minizinc-benchmarks: tents/tents_3.dzn is ill-defined
Issue -
State: open - Opened by matsc-at-sics-se about 2 years ago
#11 - Potential benchmark example
Issue -
State: open - Opened by a1880 almost 4 years ago
#10 - VRP refactoring
Pull Request -
State: open - Opened by informarte about 4 years ago
- 4 comments
#9 - Added missing metadata from 2011 and 2014 challenges
Pull Request -
State: open - Opened by lokdlok about 6 years ago
#8 - Compilation problems
Issue -
State: open - Opened by schutta about 8 years ago
- 4 comments
#7 - Added missing problems and instances from the MiniZinc challenges 2012 to 2015
Pull Request -
State: open - Opened by informarte about 8 years ago
#6 - Annotated redundant constraints
Pull Request -
State: open - Opened by informarte about 8 years ago
#5 - No proper license
Issue -
State: closed - Opened by informarte over 8 years ago
- 1 comment
#4 - Warnings when flattening mqueens2.mzn
Issue -
State: open - Opened by siala over 8 years ago
#3 - Annotated redundant constraints
Pull Request -
State: closed - Opened by informarte over 8 years ago
- 1 comment
#2 - Use gcc instead of exactly in roster model
Pull Request -
State: closed - Opened by informarte almost 9 years ago
#1 - Fixed roster model
Pull Request -
State: closed - Opened by informarte almost 9 years ago
- 1 comment