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

【文件属性】：
文件名称：Meddly:多端边值决策图库-开源
文件大小：1.01MB
文件格式：GZ
更新时间：2021-06-28 06:04:51
开源软件 Meddly（多终端边值决策图库）是一个 C++ 库，原生支持各种类型的决策图，包括 BDD、MDD、MTMDD、EV+MDD 和 EV*MDD。 高级功能包括：紧凑且可定制的节点存储、可配置的垃圾收集和许多内置操作（具有计算表支持）。