this repo has no description
dekker.one
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 ["--restart-limit", "Restart cutoff", "int", "0"],
25 ["--nogoods", "Use no-goods from restarts", "bool", "false"],
26 ["--nogoods-limit", "Depth limit for no-good extraction", "int", "128"]
27 ],
28 "supportsMzn": false,
29 "supportsFzn": true,
30 "needsSolns2Out": true,
31 "needsMznExecutable": false,
32 "needsStdlibDir": false,
33 "isGUIApplication": false
34}