API 概览¶
各接口的 CPSAT、MATHOPT、OPTX 限制见求解器支持矩阵；方法详情中的标签区分支持、条件支持和不支持。
从 optagent 导入公开模型与求解入口。按使用目的查阅接口：
| 目的 | 接口 | 参考 |
|---|---|---|
| 创建模型、变量与约束 | OptModel |
建模接口 |
| 保存模型，读取 protobuf / MPS / LP 文件 | model.save、read_model |
模型文件 |
| 组合并读取表达式 | Expression、IntervalExpression |
建模接口 |
| 注册外部计算 | ExternalFunction |
建模接口 |
| 求解并配置后端 | 四个 solve 入口与三个配置类 |
求解与配置 |
| 读取返回结果 | Solution |
结果与诊断 |
对象方法 model.solve(...) 与模块函数 solve(model, ...) 提供相应求解入口。旧 ModelBuilder、调度 facade、replay/trace 接口不属于当前公开面。
类型与算子¶
OptType 描述表达式值类型，Operator 标识表达式操作，OptValue 表达带类型的值。通常直接使用模型工厂方法和 Python 运算符创建表达式，无需手动构造底层表示。
异常¶
| 异常 | 含义与处理 |
|---|---|
OptxUnsupportedError |
OptX 无法编译模型；读取 .issues 定位不兼容表达式 |
OptxCompatibilityIssue |
问题包含 code、expression_id、operator、root_kind、root_name、message、requirement、expression_path |
LicenseError |
原生求解门禁拒绝许可证；检查许可证状态 |
ValueError |
无效域、参数、exact 转换或验证约定不满足 |
RuntimeError |
内核 / adapter 不可用，或表达式没有可读取的值 |