在MiniZinc中配置Google OR-Tools CP-SAT参数时遇未知标志错误

错误原因 #

interleave_search并非Google OR-Tools CP-SAT求解器支持的命令行参数，MiniZinc将该参数传递给后端求解器时，会被判定为无效flag，从而触发报错。

解决方案 #

1. 移除无效参数 #

直接删除配置中backend-flags下的interleave_search项，修正后的配置如下：

{
    "intermediate-solutions": true,
    "parallel": 16,
    "solver": "com.google.or-tools@9.5.2237",
    "time-limit": 120000
}

2. 替换为CP-SAT支持的参数（若需自定义搜索策略） #

如果需要调整CP-SAT的搜索行为，需使用其官方支持的参数。例如，若要指定搜索分支策略，可使用search_branching参数，可选值包括AUTOMATIC、FIXED_SEARCH、INCREMENTAL_SEARCH等；若要开启搜索日志，可添加log_search_progress: true。示例配置：

{
    "backend-flags": {
        "search_branching": "AUTOMATIC",
        "log_search_progress": true
    },
    "intermediate-solutions": true,
    "parallel": 16,
    "solver": "com.google.or-tools@9.5.2237",
    "time-limit": 120000
}

内容的提问来源于stack exchange，提问作者qin cubism