{
  "description": "Solve a MiniZinc model with optional data files, solver choice and solution limits. Compiler tuning and output-file options are left out.",
  "options": [
    {
      "names": [
        "--data",
        "-d"
      ],
      "description": "Data file",
      "args": {
        "name": "data",
        "isOptional": false,
        "isVariadic": true,
        "template": "filepaths"
      },
      "isRepeatable": true
    },
    {
      "names": [
        "--solver"
      ],
      "description": "Solver",
      "args": {
        "name": "solver",
        "isOptional": false
      }
    },
    {
      "names": [
        "--all-solutions",
        "-a"
      ],
      "description": "All solutions"
    },
    {
      "names": [
        "--num-solutions",
        "-n"
      ],
      "description": "Stop after N solutions",
      "args": {
        "name": "num_solutions",
        "isOptional": false
      }
    },
    {
      "names": [
        "--parallel",
        "-p"
      ],
      "description": "Parallel threads",
      "args": {
        "name": "parallel",
        "isOptional": false
      }
    },
    {
      "names": [
        "--free-search",
        "-f"
      ],
      "description": "Free search"
    },
    {
      "names": [
        "--statistics",
        "-s"
      ],
      "description": "Print statistics"
    },
    {
      "names": [
        "--verbose"
      ],
      "description": "Verbose"
    },
    {
      "names": [
        "--compile",
        "-c"
      ],
      "description": "Compile only"
    },
    {
      "names": [
        "--output-mode"
      ],
      "description": "Output mode",
      "args": {
        "name": "output_mode",
        "isOptional": false,
        "suggestions": [
          {
            "name": "item",
            "description": "Output item"
          },
          {
            "name": "dzn",
            "description": "DZN"
          },
          {
            "name": "json",
            "description": "JSON"
          }
        ]
      }
    }
  ],
  "args": [
    {
      "name": "model",
      "isOptional": true,
      "template": "filepaths"
    }
  ],
  "name": "minizinc"
}