{
  "id": "org.gecode.gecode",
  "name": "Gecode",
  "description": "Gecode FlatZinc executable",
  "version": "6.3.0",
  "mznlib": "-Ggecode",
  "executable": "@BIN_PATH@/fzn-gecode",
  "tags": ["cp","int", "float", "set", "restart"],
  "stdFlags": ["-a","-f","-n","-p","-r","-s","-t","--cp-profiler"],
  "extraFlags": [
      ["--c-d", "Recomputation commit distance", "int", "8"],
      ["--a-d", "Recomputation adaption distance", "int", "2"],
      ["--decay", "Decay factor", "float", "0.99"],
      ["--node", "Node cutoff", "int", "0"],
      ["--fail", "Failure cutoff", "int", "0"],
      ["--restart", "Restart sequence type", "opt:none:constant:linear:luby:geometric", "none"],
      ["--restart-base", "Base for geometric restart sequence", "float", "1.5"],
      ["--restart-scale", "Scale factor for restart sequence", "int", "250"],
      ["--nogoods", "Use no-goods from restarts", "bool", "false"],
      ["--nogoods-limit", "Depth limit for no-good extraction", "int", "128"],
  ],
  "supportsMzn": false,
  "supportsFzn": true,
  "needsSolns2Out": true,
  "needsMznExecutable": false,
  "needsStdlibDir": false,
  "isGUIApplication": false
}
