Lib.rs

› 关键词 #bdd #decision-diagrams #zdd #diagram #decision #data-structures

#zbdd

  1. oxidd

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

    v0.7.0 #bdd #zbdd #zdd #decision-diagrams #constant-time #data-structures

  2. oxidd-cli

    OxiDD 的命令行界面

    v0.2.2 #bdd #zbdd #zdd #decision-diagrams #command-line #command-line-interface

  3. oxidd-rules-zbdd

    为 OxiDD 提供零抑制决策图 (ZBDDs)

    v0.7.0 #diagram #decision #oxi-dd #bdd #zbdd #zero-suppressed #boolean

  4. hugealloc

    具有大页感知的分配器

    v0.1.0 #allocator #hugepage-aware #diagram #bdd #decision #zbdd #framework

    5. 尝试使用 DuckDuckGo 搜索。