我正在尝试利用Cudd的变量订购启发式方法。我创建了一个BDD，尝试了一些变量订购，以查看哪个订单最小化的大小，现在我想提取变量订购。我该怎么做？
根据此答案，dd Python软件包为您提供了一种检查每个变量级别的方法，但是我在C/C 接口中没有看到相应的功能。这种python的约束力如何将其脱掉？是否需要通过cuddInt.h？
ah，我应该读取dd的源代码。答案很简单：使用Cudd_ReadPerm。