Lib.rs

› Keywords #zdd #zbdd #oxi-dd #concurrency #framework #order #multi-threading

#binary-decision-diagrams

  1. ruddy

    Minimalistic library for working with binary decision diagrams

    v0.0.2 #binary-decision-diagrams #decision-diagram #split #shared-representation #logical-operator #dot #valuations #conjunction #owns #quantification

  2. oxidd-test-utils

    Test utilities for OxiDD

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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. oxidd-cache

    Apply cache for OxiDD

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

  10. hugealloc

    Hugepage-aware allocator

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

  11. 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

  12. arcslab

    Slab, but with reference counted items

    v0.1.2 1.0K #binary-decision-diagrams #rc #decision-diagram #slab #order #zdd #zbdd

  13. taco-bdd

    A Binary Decision Diagram (BDD) crate that provides a unified interface for the CUDD and OxiDD BDD libraries. This crate is part of the TACO toolsuite.

    v0.1.0 #binary-decision-diagrams #model-checker #verification #threshold-automaton

  14. 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

  15. 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

  16. boolean_expression

    manipulating and evaluating Boolean expressions and BDDs

    v0.4.4 20K #boolean #expression #bdd #binary-decision-diagrams #decision-diagram

  17. kure2

    Safe bindings for Kure2, a C library which provides manipulation of relations and operations of relation algebra

    v0.3.0 #algebra #relation #kure #operation #repl #binary-decision-diagrams #decision-diagram

  18. oxidd-core

    Core traits and types of the OxiDD decision diagram framework

    v0.11.0 1.5K #decision-diagram #binary-decision-diagrams #edge #variables #order #boolean-operations #zbdd #zdd #dd #concurrency

  19. adf_bdd

    solve grounded, complete, and stable ADF-semantics by utilising OBDDs - ordered binary decision diagrams

    v0.3.1 #binary-decision-diagrams #decision-diagram #oracle-adf #framework #obdd #dialectical #interpretation #grounded #three-valued #utilising

  20. kure2-lua-sys

    FFI bindings for Lua, intended to be used with kure2-sys

    v0.1.2 100 #kure2 #lua #binary-decision-diagrams #kure #lua-bindings #algebra #repl

  21. cudd2-sys

    FFI bindings for CUDD, a C library for the manipulation of decision diagrams

    v0.2.0 #decision-diagram #cudd #kure2 #algebra #kure #repl #binary-decision-diagrams

  22. adf-bdd-bin

    Solver for ADFs grounded, complete, and stable semantics by utilising OBDDs - ordered binary decision diagrams

    v0.3.0 #binary-decision-diagrams #solver #decision-diagram #oracle-adf #stable #grounded #obdd #dresden #utilising

  23. kure2-cli

    REPL for the Kure2 DSL

    v0.3.0 #dsl #repl #kure #algebra #relation #binary-decision-diagrams

    24. Try searching with DuckDuckGo.

  24. oxidd-derive

    Derive macros for OxiDD

    v0.11.0 1.6K #binary-decision-diagrams #decision-diagram #framework #macro #zbdd #zdd #concurrency

  25. kure2-sys

    FFI bindings for Kure2, a C library which provides manipulation of relations and operations of relation algebra

    v0.2.1 #algebra #relation #kure #operation #repl #binary-decision-diagrams