JuliaHub/CUDD_jll的用户界面是什么

Question

Julia有一个名为CUDD_jll的二进制决策图包，可从JuliaHub获得。该软件包能够在Apple M1架构上进行安装和编译。它似乎是在运行Julia v1.82的macOS v13上安装和编译的。但是来自旧包CUDD的用户界面似乎与CUDD_jll不兼容。

需要的是一个测试或示例，揭示初始化cudd的用户命令、定义逻辑变量以及and、or、NOT的基本操作。

有人会分享这样的信息吗？

Answer 1

_jll程序包通常不打算直接使用，它们是后端依赖项，当添加使用它们的程序包时会自动安装。

在这种情况下，CUDD.jl是您想要安装和使用的软件包这将自动安装CUDD_jll作为依赖项并使用它。实际上，当前的CUDD.jl还没有使用CUDD_jll作为后端。相反，它从一个不提供M1兼容二进制文件的源代码下载CUDD库。CUDD_jll是最近为改变这种状况所做的努力。它确实为M1体系结构提供了二进制文件，但尚未作为后端合并。

同时，您可以尝试] add CUDD#update-to-yggdrasil直接添加使用CUDA_jll作为后端的分支，看看这是否适用。(PR合并后，您可以像以前一样删除此特定于分支的依赖项和] add CUDD。(

Answer 2

Apple M1系统与CUDD不兼容。对不起，我的错误。