JuliaHub/CUDD_jll的用户界面是什么？

Question

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

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

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

Answer 1

苹果M1系统与CUDD不兼容。我的错抱歉。