Meddly:多端边值决策图库-开源

【文件属性】：

文件名称：Meddly:多端边值决策图库-开源

文件大小：1.01MB

文件格式：GZ

更新时间：2024-07-17 23:51:31

开源软件

Meddly（多终端边值决策图库）是一个 C++ 库，原生支持各种类型的决策图，包括 BDD、MDD、MTMDD、EV+MDD 和 EV*MDD。 高级功能包括：紧凑且可定制的节点存储、可配置的垃圾收集和许多内置操作（具有计算表支持）。