Lib.rs

› Search #decision-diagram #binary-decision-diagrams #zdd #zbdd #oxi-dd

  1. biodivine-lib-bdd

    thread-safe implementation of basic binary decision diagrams

    v0.6.2 900 #boolean #symbolic #bdd #boolean-expression

  2. oxidd

    A safe, concurrent, modular, and performant decision diagram framework

    v0.11.0 1.4K #zdd #zbdd #decision-diagrams #bdd

  3. oxidd-test-utils

    Test utilities for OxiDD

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

  4. quantrs2-sim

    Quantum circuit simulators for the QuantRS2 framework

    v0.1.0-beta.3 #state-vector #quantum-computing #gates #simulation

  5. ddo

    generic and efficient framework for MDD-based optimization

    v2.0.0 340 #optimization-solver #combinatorial-optimization #decision-diagrams #combinatorial #cp

  6. oxidd-rules-bdd

    Binary decision diagrams (BDDs) for OxiDD

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

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

  8. linear-hashtbl

    Linear probing hash table

    v0.1.4 1.4K #decision-diagram #hash-map #hash

  9. oxidd-rules-zbdd

    Zero-suppressed decision diagrams (ZBDDs) for OxiDD

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

  10. oxidd-rules-mtbdd

    Multi-terminal decision diagrams (MTBDDs) for OxiDD

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

  11. oxidd-manager-index

    Index-based manager implementation for OxiDD

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

  12. oxidd-rules-tdd

    Ternary decision diagrams (TDDs) for OxiDD

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

  13. oxidd-cache

    Apply cache for OxiDD

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

  14. oxidd-dump

    Dump OxiDD decision diagrams to file

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

  15. hugealloc

    Hugepage-aware allocator

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

  16. veripb

    proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds

    v3.0.1 #pseudo-boolean #satisfiability #optimization #certification #checker

  17. oxidd-cli

    Command line interface for OxiDD

    v0.4.1 #zdd #zbdd #decision-diagrams #bdd

  18. oxidd-reorder

    Reordering algorithms for OxiDD

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

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

  20. arcslab

    Slab, but with reference counted items

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

  21. oxidd-manager-pointer

    Pointer-based manager implementation for OxiDD

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

  22. cudd-sys

    Bindings for CU Decision Diagram library (CUDD)

    v1.1.2-alpha.2 200 #decision-diagram #bindings #cu #package #double-precision

  23. bddminisat-sys

    FFI bindings to bdd_minisat_all, a BDD-based AllSAT solver

    v0.1.0 #sat-solver #mini-sat #bdd #allsat #solver

  24. boolean_expression

    manipulating and evaluating Boolean expressions and BDDs

    v0.4.4 11K #boolean #expression #binary-decision-diagrams #decision-diagram #evaluating

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

  26. bex

    working with boolean expressions (syntax trees, decision diagrams, algebraic normal form, etc.)

    v0.3.0 650 #ast #diagram #anf #bdd

  27. 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 #grounded #interpretation #ac #three-valued #utilising

  28. automata

    standard finite state automata such as DFA, NFA, Regex

    v0.0.4 #regex #dfa

  29. sddrs

    Bottom-up Sentential Decision Diagram compiler library

    v0.1.4 140 #knowledge-base #decision-diagrams #sdd #model-counting #boolean-functions

  30. oxidd-core

    Core traits and types of the OxiDD decision diagram framework

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

  31. sylvan-sys

    Bindings for the Sylvan parallel decision diagrams library

    v1.1.0 #decision-diagram #bdd #parallel #symbolic

  32. xdd

    Decision diagrams including BDD, ZDD, MBDD, πDD and more for combinatorics

    v0.1.0 #multiset #combinatorics #zdd #boolean #bdd

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

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

  35. kure2-cli

    REPL for the Kure2 DSL

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

  36. zdd

    A Zero-suppressed BDD library

    v0.3.0 #bdd #diagram

    37. Try searching with DuckDuckGo or on crates.io.

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

  38. oxidd-derive

    Derive macros for OxiDD

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

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