dd的Python项目详细描述
dd是一个用于处理二进制决策图的包,它包括纯python实现和cython到c库的绑定(cudd、sylvan、buddy)。python和cython模块实现了相同的api,因此两个模块运行的用户代码相同。bdd上的所有标准操作都是可用的,包括使用筛选的动态变量重新排序、垃圾收集、从文件转储/加载、打印和量化布尔表达式的解析器。更多详细信息请参见自述文件:https://github.com/johnyf/dd
欢迎加入QQ群-->: 979659372
推荐PyPI第三方库