pkgs/development/tools/minizinc/gecode.msc

   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 }