Lib.rs

› Keywords #concurrency #framework #order #multi-threading #ternary

#oxi-dd

  1. oxidd-test-utils

    Test utilities for OxiDD

    v0.6.0 260 #binary-decision-diagrams #decision-diagram #oxi-dd #order #edge #zdd #concurrency #zbdd

  2. oxidd-rules-bdd

    Binary decision diagrams (BDDs) for OxiDD

    v0.11.0 2.0K #decision-diagram #binary-decision-diagrams #oxi-dd #boolean-operations #framework #multi-threading #zdd #ternary #zbdd #concurrency

  3. oxidd-rules-zbdd

    Zero-suppressed decision diagrams (ZBDDs) for OxiDD

    v0.11.0 1.8K #decision-diagram #binary-decision-diagrams #oxi-dd #zbdd #framework #zdd #multi-threading #ternary #concurrency #denote

  4. oxidd-rules-mtbdd

    Multi-terminal decision diagrams (MTBDDs) for OxiDD

    v0.6.0 1.8K #decision-diagram #binary-decision-diagrams #oxi-dd #framework #multi-threading #zdd #concurrency #zbdd

  5. oxidd-dump

    Dump OxiDD decision diagrams to file

    v0.6.0 1.9K #decision-diagram #binary-decision-diagrams #oxi-dd #visualization #order #concurrency #zdd #zbdd #complement

  6. oxidd-manager-index

    Index-based manager implementation for OxiDD

    v0.11.0 1.8K #decision-diagram #binary-decision-diagrams #oxi-dd #order #boolean-operations #modular-framework #zdd #zbdd #index-based

  7. oxidd-rules-tdd

    Ternary decision diagrams (TDDs) for OxiDD

    v0.6.0 1.8K #decision-diagram #binary-decision-diagrams #oxi-dd #tdd #ternary #multi-threading #zdd #zbdd #concurrency

  8. oxidd-cache

    Apply cache for OxiDD

    v0.11.1 1.7K #decision-diagram #oxi-dd #binary-decision-diagrams #framework #cache #zdd #zbdd

  9. hugealloc

    Hugepage-aware allocator

    v0.1.1 1.9K #binary-decision-diagrams #decision-diagram #framework #zdd #zbdd #concurrency #allocator #oxi-dd #boolean-operations

  10. oxidd-reorder

    Reordering algorithms for OxiDD

    v0.6.1 2.0K #decision-diagram #oxi-dd #binary-decision-diagrams #order #framework #concurrency #algorithm-performance #zdd #zbdd

  11. oxidd-manager-pointer

    Pointer-based manager implementation for OxiDD

    v0.6.0 750 #decision-diagram #binary-decision-diagrams #oxi-dd #order #framework #zdd #concurrency #zbdd

    12. Try searching with DuckDuckGo.

  12. oxidd-parser

    Parsers for logic file formats

    v0.4.3 #decision-diagram #binary-decision-diagrams #oxi-dd #order #file-format #zdd #concurrency #zbdd #constant-time