Issues

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

  MiniZinc/minizinc-benchmarks#12 · Filter by author matsc-at-sics-se opened on Sep 19, 2022

• Potential benchmark example

  MiniZinc/minizinc-benchmarks#11 · Filter by author a1880 opened on Dec 14, 2020

• Compilation problems

  MiniZinc/minizinc-benchmarks#8 · Filter by author schutta opened on Nov 8, 2016
  4

• Warnings when flattening mqueens2.mzn

  MiniZinc/minizinc-benchmarks#4 · Filter by author siala opened on Apr 28, 2016