# API 概览

各接口的 CPSAT、MATHOPT、OPTX 限制见[求解器支持矩阵](solver-support.md)；方法详情中的标签区分支持、条件支持和不支持。

从 `optagent` 导入公开模型与求解入口。按使用目的查阅接口：

| 目的 | 接口 | 参考 |
| --- | --- | --- |
| 创建模型、变量与约束 | `OptModel` | [建模接口](modeling.md) |
| 保存模型，读取 protobuf / MPS / LP 文件 | `model.save`、`read_model` | [模型文件](modeling.md#file-import) |
| 组合并读取表达式 | `Expression`、`IntervalExpression` | [建模接口](modeling.md) |
| 注册外部计算 | `ExternalFunction` | [建模接口](modeling.md) |
| 求解并配置后端 | 四个 `solve` 入口与三个配置类 | [求解与配置](solve.md) |
| 读取返回结果 | `Solution` | [结果与诊断](../guide/results.md) |

对象方法 `model.solve(...)` 与模块函数 `solve(model, ...)` 提供相应求解入口。旧 `ModelBuilder`、调度 facade、replay/trace 接口不属于当前公开面。

## 类型与算子

`OptType` 描述表达式值类型，`Operator` 标识表达式操作，`OptValue` 表达带类型的值。通常直接使用模型工厂方法和 Python 运算符创建表达式，无需手动构造底层表示。

<!-- public-api: optagent.OptType -->
<!-- public-api: optagent.OptValue -->
<!-- public-api: optagent.Operator -->

## 异常

| 异常 | 含义与处理 |
| --- | --- |
| `OptxUnsupportedError` | OptX 无法编译模型；读取 `.issues` 定位不兼容表达式 |
| `OptxCompatibilityIssue` | 问题包含 `code`、`expression_id`、`operator`、`root_kind`、`root_name`、`message`、`requirement`、`expression_path` |
| `LicenseError` | 原生求解门禁拒绝许可证；检查许可证状态 |
| `ValueError` | 无效域、参数、exact 转换或验证约定不满足 |
| `RuntimeError` | 内核 / adapter 不可用，或表达式没有可读取的值 |

<!-- public-api: optagent.OptxCompatibilityIssue -->
<!-- public-api: optagent.OptxUnsupportedError -->
<!-- public-api: optagent.LicenseError -->