Skip to content

@cuddorg CUDD Maintainers

Change the repository type filter

All

    Repositories list

    9 repositories

    • cudd

      Public
      CUDD Decision Diagram Package
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •77•157•7•10•Updated Dec 12, 2025Dec 12, 2025

    • cudd-sys

      Public
      CU Decision Diagram library bindings for Rust
      Rust
      •2•10•0•0•Updated Dec 5, 2025Dec 5, 2025

    • .github

      Public
      0•0•0•0•Updated Nov 14, 2025Nov 14, 2025

    • dddmp

      Public
      Functions to read in and write out BDDs, ADDs, and CNF formulas from and to files
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •1•3•1•0•Updated Oct 11, 2025Oct 11, 2025

    • nanotrav

      Public
      A simple reachability analysis program based on the CUDD package
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Aug 4, 2025Aug 4, 2025

    • bazel-central-registry

      Public
      The central registry of Bazel modules for the Bzlmod external dependency system.
      Starlark
      •
      Apache License 2.0
      •735•0•0•0•Updated Jul 25, 2025Jul 25, 2025

    • benchmarks

      Public
      0•0•0•0•Updated Jul 23, 2025Jul 23, 2025

    • docs

      Public
      0•0•0•0•Updated Jul 23, 2025Jul 23, 2025

    • cuddorg

      Public
      0•0•0•0•Updated Jul 23, 2025Jul 23, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.