1{
2  "id": "org.gecode.gecode",
3  "name": "Gecode",
4  "description": "Gecode FlatZinc executable",
5  "version": "@GECODE_VERSION@",
6  "mznlib": "../gecode",
7  "executable": "../../../bin/fzn-gecode",
8  "tags": ["cp", "int", "float", "set", "restart"],
9  "stdFlags": ["-a", "-f", "-n", "-p", "-r", "-s", "-t", "--cp-profiler"],
10  "extraFlags": [
11    ["--c-d", "Recomputation commit distance", "int", "8"],
12    ["--a-d", "Recomputation adaption distance", "int", "2"],
13    ["--decay", "Decay factor", "float", "0.99"],
14    ["--node", "Node cutoff", "int", "0"],
15    ["--fail", "Failure cutoff", "int", "0"],
16    [
17      "--restart",
18      "Restart sequence type",
19      "opt:none:constant:linear:luby:geometric",
20      "none"
21    ],
22    ["--restart-base", "Base for geometric restart sequence", "float", "1.5"],
23    ["--restart-scale", "Scale factor for restart sequence", "int", "250"],
24    ["--nogoods", "Use no-goods from restarts", "bool", "false"],
25    ["--nogoods-limit", "Depth limit for no-good extraction", "int", "128"]
26  ],
27  "supportsMzn": false,
28  "supportsFzn": true,
29  "needsSolns2Out": true,
30  "needsMznExecutable": false,
31  "needsStdlibDir": false,
32  "isGUIApplication": false
33}
34