Ocaml 如何将MCC/Clingo定义为OPAM解算器而不是aspcud

我是一个使用OPAM版本4.05.0的新手，在安装带有

apscud

的depext软件包作为解算器时遇到了一些问题

在OPAM配置文件

~/.OPAM/config

中，我添加了这一行，因为解算器未指定

solver:Mccs

我很确定我做错了，因为它从45分钟前就开始尝试安装depext包

如何将

mcc/Clingo

定义为解算器

---

谢谢。

要将外部解算器设置为opam，我们首先需要安装它。 就我而言，mccs解算器位于

/bin/mccs

首先，我们在

~/.opam/default/.opam switch/environment

中设置全局变量

$OPAMEXTERNALSOLVER

，如下所示：

OPAMEXTERNALSOLVER=/bin/mccs

其次，我们在opam的配置文件

~/.opam/config

中设置solver参数如下：

solver:mccs

最后一部分是通过启动命令

eval$（opam env）

我们可以通过启动以下命令来检查修改：

opam配置环境

opam配置报告

学分：

---

这对我来说很有效，yeey^^

要将外部解算器设置为opam，我们首先需要安装它。 就我而言，mccs解算器位于

/bin/mccs

首先，我们在

~/.opam/default/.opam switch/environment

中设置全局变量

$OPAMEXTERNALSOLVER

，如下所示：

OPAMEXTERNALSOLVER=/bin/mccs

其次，我们在opam的配置文件

~/.opam/config

中设置solver参数如下：

solver:mccs

最后一部分是通过启动命令

eval$（opam env）

我们可以通过启动以下命令来检查修改：

opam配置环境

opam配置报告

学分：

---

这对我来说很有效，是的，opam没有4.05.0版本。我想你说的是OCaml的版本。我不好，那确实是OCaml版本，而OPAM的版本是2.0.3，这里没有4.05.0版本的OPAM。我想你说的是OCaml的版本。我的错，那确实是OCaml版本，而OPAM的版本是2.0.3