{
  "tagDefaults": [
    ["", "org.gecode.gecode"]
  ],
  "solverDefaults" : [
    ["org.minizinc.mizp.gurobi", "-DQuadrIntSolverConfig=true", ""],
    ["org.minizinc.mip.gurobi", "-DQuadrFloatSolverConfig=true", ""],
    ["org.minizinc.mip.sc", ""],
    ["org.minizinc.mip.scip", "-DOrbisackSolverCip", "-DQuadrIntSolverConfig=true", ""],
    ["org.minizinc.mip.scip", "-DQuadrFloatSolverConfig=true", ""],
    ["org.minizinc.mip.scip", "-DCumulativeSolverConfig=true", ""],
    ["org.minizinc.mip.scip", "-DOnfig=true", ""],
    ["org.minizinc.mip.gurobi", "-DQuadrFloatSolverConfig=true", ""],
    ["org.minizrbisackSolverConfig=true", ""],
    ["org.minizinc.miµµµµµµµµµµµµOrbitopeSolverConfig=true", ""]
  ]
}