Lib.rs

› 关键词 #boolean #order #binary #framework #manager #representation #algorithm

#oxi-dd

  1. oxidd-dump

    将 OxiDD 决策图导出到文件

    v0.2.0 #diagram #decision #oxi-dd #bdd #boolean #order #representation

  2. oxidd-rules-bdd

    OxiDD 的二进制决策图 (BDDs)

    v0.7.0 110 #diagram #decision #bdd #oxi-dd #binary #boolean #ordered

  3. oxidd-manager-index

    基于索引的 OxiDD 管理器实现

    v0.7.0 #diagram #decision #bdd #order #oxi-dd #manager #binary

  4. oxidd-manager-pointer

    基于指针的 OxiDD 管理器实现

    v0.2.0 #diagram #decision #bdd #oxi-dd #manager #boolean #framework

  5. oxidd-rules-zbdd

    OxiDD 的零抑制决策图 (ZBDDs)

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

  6. oxidd-parser

    逻辑文件格式的解析器

    v0.3.1 #diagram #decision #bdd #order #oxi-dd #variables #file-format

  7. oxidd-reorder

    OxiDD 的重新排序算法

    v0.2.0 #order #oxi-dd #diagram #decision #bdd #algorithm #concurrency

  8. oxidd-cache

    为 OxiDD 应用缓存

    v0.7.0 #diagram #oxi-dd #decision #bdd #cache #algorithm #boolean

  9. oxidd-rules-tdd

    OxiDD 的三元决策图 (TDDs)

    v0.2.0 #diagram #decision #oxi-dd #bdd #ternary #tdd #boolean

  10. oxidd-rules-mtbdd

    OxiDD 的多终端决策图 (MTBDDs)

    v0.2.0 #diagram #decision #oxi-dd #bdd #mtbdd #boolean #framework

  11. oxidd-test-utils

    OxiDD 的测试实用工具

    v0.2.0 #diagram #oxi-dd #bdd #decision #binary #boolean #representation

    12. 尝试使用DuckDuckGo进行搜索。

  12. oxidd-derive

    为OxiDD推导宏

    v0.7.0 #oxi-dd #diagram #decision #bdd #edge #framework #apply