文件名称:
ocaml-mccs:具有OCaml绑定的简化版本的mccs-源码
开发工具:
文件大小: 1mb
下载次数: 0
上传时间: 2021-02-24
详细说明: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
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台,提供交流渠道,下载内容来自于网络,除下载问题外,其它问题请自行百度。
- 本站已设置防盗链,请勿用迅雷、QQ旋风等多线程下载软件下载资源,下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载,请稍后再次尝试;或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
- 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.