当前接口与迁移¶
本页对照当前实现说明接口使用方式，不代表历史版本之间的完整发布日志。安装的 wheel 应与所查阅文档版本一致。
调整调用方式¶
| 旧代码或旧假设 | 当前方式 |
|---|---|
使用 ModelBuilder 或独立调度 facade |
使用 OptModel 统一声明变量、表达式、约束和目标 |
| 依赖自动切换公开求解入口 | 显式选择 solve、solve_optx、solve_cpsat 或 solve_mathopt |
| 仅把 exact 时间限制视为后端运行时间 | CP-SAT / MathOpt 的 time_limit_s 覆盖转换、求解与验证等阶段 |
| 超时后继续读取上次求解的值 | 先检查本次 Solution.feasible；未验证的结果不发布值 |
修改模型后读取旧 .value |
完成变更后重新求解 |
| 依赖 replay/trace 旧接口 | 使用当前 log_level 与返回结果中的诊断信息 |
内核变化对建模的影响¶
结构化搜索使用声明中的分配、顺序和时间关系生成联合候选，原模型评价仍负责确认候选。业务模型应完整写出实际约束；不要依赖内核修复推断未声明的限制。
有限域 exact 转换扩展了 CP-SAT / MathOpt 可处理的模型范围。模型是否被接受仍取决于具体表达式、变量域、展开规模与所选后端，不能根据“存在集合或区间”简单判断一定支持或不支持。