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=====
note that this is the default if you do -f. (1 worker)
Here is the cp-sat msc.in file: