-
Notifications
You must be signed in to change notification settings - Fork 6
/
turbo.gpu.release.msc
32 lines (32 loc) · 1.08 KB
/
turbo.gpu.release.msc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
{
"executable": "/home/ptalbot/repositories/lattice-land/turbo/build/gpu-release/turbo",
"id": "turbo.gpu.release",
"isGUIApplication": false,
"mznlib": "/home/ptalbot/repositories/lattice-land/turbo/benchmarks/minizinc/mzn-lib",
"mznlibVersion": 1,
"name": "Turbo (gpu,release)",
"needsMznExecutable": false,
"needsPathsFile": false,
"needsSolns2Out": true,
"needsStdlibDir": false,
"stdFlags": [
"-a",
"-n",
"-p",
"-s",
"-v",
"-f",
"-t"
],
"supportsFzn": true,
"supportsMzn": false,
"supportsNL": false,
"version": "1.1.0",
"extraFlags": [
["-sub", "number of EPS subproblems (value of 10 generates 2^10 subproblems)", "int", "10"],
["-or", "number of OR threads", "int", "0"],
["-and", "number of AND threads", "int", "0"],
["-version", "version of the solver to be printed as statistics", "string", "1.1.0"],
["-hardware", "description of the hardware on which the solver is executed (CPU;RAM;GPU)", "string", "unspecified"]
]
}