findmus.msc.in

{
  "id": "org.minizinc.findmus",
  "name": "findMUS",
  "executable": "${REL_INSTALL_BINARY}",
  "isGUIApplication": false,
  "mznlib": "",
  "supportsMzn": true,
  "version": "${findMUS_VERSION_MAJOR}.${findMUS_VERSION_MINOR}.${findMUS_VERSION_PATCH}",
  "needsSolns2Out": false,
  "needsStdlibDir": true,
  "needsPathsFile": false,
  "needsMznExecutable": false,
  "stdFlags": ["--output-html", "-v", "-s", "-a", "-n", "-t", "--json-stream"],
  "extraFlags": [
    ["-a", "Find all MUSes", "bool", "true"],
    ["-n", "Number of MUSes to find", "int", "1"],
    ["--paramset", "Preset parameters", "opt:hint:mzn:fzn", "mzn"],
    ["--subsolver", "Sub-solver for SAT checking", "string", "gecode_presolver"],
    ["--subsolver-timelimit", "Timelimit for SAT check (ms)", "int", "1000"],
    ["--adapt-timelimit", "Automatically set timelimit to 1.5x initial SAT check time", "bool", "true"],
    ["--structure", "Alter initial structure", "opt:flat:gen:normal:mix:idx:idxmix", "gen"],
    ["--no-binarize", "Disable binarization", "bool", "true"],
    ["--shrink-alg", "MUS shrink algorithm", "opt:lin:map_lin:qx:qx2:map_qx", "map_qx"],
    ["--depth", "Abstraction level of MUSes", "opt:mzn:fzn:1:5:25:100", "mzn"],
    ["--restart", "Restart to leaves behaviour", "bool", "true"],
    ["--output-brief", "Do not output traces.", "bool", "true"],
    ["--output-json", "Print MUSes in JSON format", "bool", "true"],
    ["--output-human", "Print MUSes in a more human readable format", "bool", "true"],
    ["--verbose-compile", "Verbose compilation", "bool", "true"],
    ["--verbose", "Verbose output", "bool", "true"],
    ["--frequent-stats", "Print statistics after each MUS", "bool", "true"],
    ["--no-leftover", "Don't print partially reduced set on timeout", "bool", "true"],
    ["--verbose-subsolve", "Verbosity level for subsolving", "int:0:1:2", "0"],
    ["--verbose-enum", "Verbosity level for enumeration", "int:0:1:2", "0"],
    ["--verbose-map", "Verbosity level for map calls", "int:0:1:2", "0"],
    ["--stdlib-dir", "Location of MiniZinc stdlib directory.", "string", ""],
    ["--no-progress", "Disable mzn-progress output for IDE", "bool", "true"],
    ["--no-stats", "Disable statistics output", "bool", "true"],
    ["--filter-mode", "Change filtering mode (foreground, exclusive)", "opt:fg:ex", "fg"],
    ["--filter-path", "Filter constraints by path (comma separated)", "string", ""],
    ["--filter-named", "Filter constraints by name (comma separated)", "string", ""],
    ["--dump-dot", "Write tree to GraphViz file", "string", ""],
    ["-g", "Attempt to record domain changes as constraints", "bool", "true"],
    ["--soft-defines", "Consider functional constraints as part of MUSes.", "bool", "true"],
    ["--named-only", "Treat constraints with name annotations as foreground", "bool", "true"],
    ["--help", "Extra help information", "bool", "true"],
    ]
}