文件名称：ocaml-mccs：具有OCaml绑定的简化版本的mccs
文件大小：1.12MB
文件格式：ZIP
更新时间：2024-03-15 17:56:23
C
mccs OCaml库 mccs（代表“多标准CUDF解决方案”）是在欧洲MANCOOSI项目期间由UNS开发的CUDF问题解决方案。 该存储库包含摘自快照1.1的的简化版本，具有作为OCaml库的绑定，并使用dune构建。 它链接的源代码也包含在src / glpk中，版本为4.65（未经修改，除了许多已删除的模块以外，与我们不使用的部分相对应）。 通过绑定，可以与二进制CUDF数据进行互操作，并从mcc中删除本机C ++解析器和打印机。 默认情况下，仅编译GLPK后端和lpsolve接口，但是可以通过在编译时将MCCS_BACKENDS环境变量设置为以下空格分隔的列表来进行调整： GLPK ， COIN ， CLP ， CBC ， SYMPHONY 。 请注意，除了GLPK ，您还需要安装相应的库，后端将被动态链接，并且这些都是实验性的，可能无法按预期工作。 此外，可以通过删除s