sage-numerical-backends-coin: SageMath 的 COIN-OR 混合整数线性规划后端

CoinBackend 之前一直是 SageMath 源树的一部分，当安装 cbc Sage 包时作为“可选扩展”构建。然而，它尚未在二进制发行版中提供。

本独立Python包 sage-numerical-backends-coin 是从 SageMath 源码版本 9.0.beta10 中创建的；在 Sage 票据 https://trac.sagemath.org/ticket/28175 中已移除树内版本的 CoinBackend。SageMath 9.1 及以后的版本将该包作为可选 Sage 包（SPKG）提供。

当前版本的此包也可以使用 pip 在各种 Sage 安装上安装。（您的 Sage 安装必须基于 Python 3；如果您的 SageMath 版本为 9.2 或更高，则符合。）

安装

CBC 可以通过其 Sage 包安装，使用

$ sage -i cbc

或任何在 https://github.com/coin-or/Cbc 中解释的方法。

此包通过 pkgconfig 查找 CBC 安装。

使用以下命令从 PyPI 安装此包

$ sage -pip install sage-numerical-backends-coin

或从 GitHub 使用

$ sage -pip install git+https://github.com/sagemath/sage-numerical-backends-coin

（有关各种系统上包的依赖项的详细信息，请参阅 .github/workflows/build.yml）

使用此包

安装成功后，Sage 将自动将此新后端作为默认 MIP 求解器。

要显式选择 'Coin' 求解器作为默认 MIP 后端，请使用以下命令。

sage: default_mip_solver('Coin')

要将这些设置永久保存，请将此命令添加到您的 ~/.sage/init.sage 文件中。请注意，此设置不会影响 doctesting（sage -t），因为在 doctesting 模式下会忽略此文件。

运行 doctesting

要运行此包的（有限的）测试套件，请使用

$ sage setup.py test

要使用此包提供的后端将默认 MIP 求解器设置为后端，请使用

$ sage setup.py check_sage_testsuite

使用 tox 运行测试

doctests 也可以使用 tox 调用

$ tox -e local
$ tox -e local-sage_testsuite

如果您已安装 docker，则可以运行更多测试

$ tox -e docker-sage_binary-cbc_coinbrew

有关可用选项，请参阅 tox.ini。