1{
2    "executable": "../../../bin/minizinc-globalizer",
3    "id": "org.minizinc.globalizer",
4    "isGUIApplication": false,
5    "mznlib": "../globalizer",
6    "name": "Globalizer",
7    "supportsMzn": true,
8    "version": "0.1.7.0",
9    "needsStdlibDir": false,
10    "needsMznExecutable": true,
11    "stdFlags": ["--output-html", "-v", "-p"],
12    "tags": ["experimental", "tool"],
13    "extraFlags": [
14      ["--no-initial-pass", "Don't check for channeling opportunities", "bool", "true"],
15      ["-p", "Number of jobs to run in parallel", "int", "1"],
16      ["--maxConstraints", "Max constraints per set (2)", "int", "2"],
17      ["--randomSolutions", "Number of solutions for submodel (30)", "int", "30"],
18      ["--sampleSolutions", "Number of solutions for scoring (30)", "int", "30"],
19      ["--solvingTimeout", "Solver timeout 1000(ms)", "int", "1000"],
20      ["--constraintFilterIn", "Consider only these comma separated substrings", "string", ""],
21      ["--free-search", "Don't use random heuristics", "bool", "true"]
22      ["--debug-args", "Debugging info for argument generation", "bool", "true"],
23      ["--debug-constraints", "Debugging info for constraint checking", "bool", "true"],
24      ["--debug-scoring", "Debugging info for constraint scoring", "bool", "true"],
25      ["--debug-checking", "Debugging info for constraint checking", "bool", "true"],
26      ["--debug-norm", "Debuginging info for model normalization", "bool", "true"],
27      ["--debug-solving", "Debugging info for model solving", "bool", "true"],
28      ["--debug-model", "Debugging info for group models", "bool", "true"],
29      ["--debug-high", "Debugging info for high-level progress", "bool", "true"],
30    ]
31}
32