Lib.rs

› 关键词 #bdd #决策图 #zbdd #布尔 #数据结构 #常数时间

#zdd

  1. oxidd

    一个安全、并发、模块化和高性能的决策图框架

    v0.7.0 #bdd #zbdd #zdd #决策图 #常数时间 #数据结构

  2. oxidd-cli

    OxiDD的命令行界面

    v0.2.2 #bdd #zbdd #zdd #决策图 #命令行 #命令行界面

  3. xdd

    包括BDD、ZDD、MBDD、πDD等组合决策图，用于组合数学

    v0.1.0 #bdd #zdd #集合 #多重集合 #布尔 #组合数学 #布尔表达式

  4. zdd

    一个零抑制BDD库

    v0.3.0 #bdd #图 #零抑制 #工厂 #二进制 #缓存 #偏移

    5. 尝试使用DuckDuckGo搜索。