pyrox.dev
1{
2 "id": "org.gecode.gecode",
3 "name": "Gecode",
4 "description": "Gecode FlatZinc executable",
5 "version": "VERSION-WILL-BE-REPLACED-BY-JQ",
6 "mznlib": "MZNLIB-WILL-BE-REPLACED-BY-JQ",
7 "executable": "FZN_GECODE-WILL-BE-REPLACED-BY-JQ",
8 "tags": ["cp","int", "float", "set", "restart"],
9 "stdFlags": ["-a","-f","-n","-p","-r","-s","-t"],
10 "supportsMzn": false,
11 "supportsFzn": true,
12 "needsSolns2Out": true,
13 "needsMznExecutable": false,
14 "needsStdlibDir": false,
15 "isGUIApplication": false
16}