c - CUDD的 bool 表达式解析器

我正在使用C上的CUDD库来制作二进制决策图。我想知道是否有办法将作为字符串给出的布尔表达式转换为二进制决策图。
谢谢您！

最佳答案

另一种可能是在Python中使用Cython绑定到CUDD：

from dd import cudd

bdd = cudd.BDD()
bdd.declare('a', 'b')
u = bdd.add_expr('a /\ ~ b')
s = bdd.to_expr(u)
print(s)

从dd == 0.5.3起，wheel files可从包含编译版CUDD的PyPI获得。因此pip install dd还将在任何Linux环境中安装CUDD，其Python版本与wheels（3.5或3.6）匹配。
免责声明：我是该软件包的作者。

关于c - CUDD的 bool 表达式解析器，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/31345769/