保姆级)"/>
MacOS 安装 copt 求解器(保姆级)
copt 介绍
杉数求解器 COPT(Cardinal Optimizer),是杉数自主研发的针对大规模优化问题的高效数学规划求解器套件,也是支撑杉数端到端供应链平台的核心组件。COPT是目前中国唯一一个同时具备大规模线性规划(单纯形法和内点法)、混合整数规划、二阶锥规划、凸二次规划以及凸二次约束规划问题求解能力的综合性数学规划求解器,为企业应对高性能求解的需求提供了更多选择。
其发展历程如下:
- 2019 05月:COPT 1.0 发布中国首个商业单纯形法求解器
- 2019 10月:发布中国首个商业混合整数规划求解器
- 2020 10月:发布中国首个商业内点法求解器
- 2021 05月:COPT 2.0 发布大幅改进后的混合整数规划求解器并参与公开测评
- 2021 10月:COPT 3.0 发布中国首个商业二阶锥规划求解器
- 2022 02月:COPT 4.0 发布中国首个商业凸二次规划、二次约束规划求解器
目前 copt 支持所有主流操作系统,如 Windows、MacOS、Linux(包括苹果M1和Arm64平台);支持所有主流编程接口,包括 C、C++、C#、Python、Java、AMPL、GAMS、Pyomo、PuLP、CVXPY等。
申请使用
目前 copt 还不是完全开源可用,需要去官网申请使用,并且免费体验还有时间限制,学术用户是一年免费,非学术用户半年。
登陆 copt 官网 ,填写相关信息后,等待邮件。我在工作日等了半天差不多才收到。
下载安装
1)安装
收到邮件后,会看到最新版 copt 软件的下载链接,点击后缀为 dmg 的那个链接,等待下载完毕。
下载完成后,双击打开,将 copt40 文件夹拖到 Applications 目录。
2)定义环境变量
编辑文件 ~/.bash_profile
(如果是 zsh 终端则是文件 ~/.zshrc
),在底部插入下面 4 行。注意这里 copt40 是前面那张图的文件夹名称,你要改成你下载时对应的名称。
export COPT_HOME=/Applications/copt40
export COPT_LICENSE_DIR=/Applications/copt40
export PATH=$COPT_HOME/bin:$PATH
export DYLD_LIBRARY_PATH=$COPT_HOME/lib:$DYLD_LIBRARY_PATH
编辑完后记得在终端 source 一下:
# bash 用户
source ~/.bash_profile
# zsh 用户
source ~/.zshrc
然后分别验证一下,看看终端打印出来的内容是否跟前面定义的一致
echo $COPT_HOME
echo $COPT_LICENSE_DIR
echo $PATH
echo $DYLD_LIBRARY_PATH
3)关闭安全检查
对于使用 MacOS 10.15 或以上版本系统的用户,可能在后续执行 COPT 相关程序时报告安全性错误,如
此时在终端上执行命令,即可去掉 MacOS 系统关于程序的安全性相关的检查。
xattr -dr com.apple.quarantine /Applications/copt40
4)配置许可文件
杉数求解器需要配置相应的许可文件才能正常使用,前面我们收到的邮件底部会有唯一授权凭证 key,该凭证和用户注册信息一一对应。在保证电脑联网的条件下,运行下面的命令,将从杉数授权服务器自动获得授权文档。
copt_licgen -key 你的key
如图所示,看到 done!!! 就表示授权成功了。如日志所示,license.dat 和 license.key 这两个授权文件被写到了指定路径下。
一般来说,任何一种许可都包括两个授权文件:license.dat 和 license.key 。它们都有数字签名用来确保文件内容没有改动过。在使用 copt 交互命令行工具或者直接调用杉数求解器编程接口来求解问题模型时,license.key 里的 RSA 公钥首先会被用来验证 license.dat 里的签名。之后,才是验证具体的保存为键值形式的授权内容。
5)查看操作手册
copt 的安装包里其实已经包含了详细的操作手册,就在 docs 目录下。
更多推荐
MacOS 安装 copt 求解器(保姆级)
发布评论