CODEWITHSUNDEEP
or-toolsminizinccp-sat
qin cubism
qin cubism

Reputation: 43

How to define solver parameters in minizinc for CP-SAT from Google or-tools

Using the CP-SAT solver from Google OR-Tools for backend CP-Solver , and want to define the solver parameters in minizinc. Define the solver config as following :

{
    "backend-flags": {
        "interleave_search": true
    },
    "intermediate-solutions": true,
    "parallel": 16,
    "solver": "[email protected]",
    "time-limit": 120000 }

but the error is coming back :

ERROR: Unknown command line flag 'interleave_search'
=====ERROR=====

Upvotes: 0

Views: 295

Answers (1)

Laurent Perron
Laurent Perron

Reputation: 11064

--params interleave_search:true

note that this is the default if you do -f. (1 worker)

Here is the cp-sat msc.in file:

{
  "id": "com.google.ortools.sat",
  "name": "OR Tools CP-SAT",
  "description": "Google's Operations Research CP-SAT-LP FlatZinc interface",
  "version": "@PROJECT_VERSION@",
  "mznlib": "../cpsat",
  "executable": "@FZ_REL_INSTALL_BINARY@",
  "tags": ["cpsatlp", "cp", "lcg", "int"],
  "stdFlags": ["-a", "-f", "-p", "-r", "-s", "-v"],
  "extraFlags": [
    ["--params", "Provide parameters interpreted as a text SatParameters proto", "string", ""]
  ],
  "supportsMzn": false,
  "supportsFzn": true,
  "needsSolns2Out": true,
  "needsMznExecutable": false,
  "needsStdlibDir": false,
  "isGUIApplication": false
}

Upvotes: 1

Related Questions