zdd

There are 0 repository under zdd topic.

• tulip-control / dd

  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

  binary-decision-diagramspythoncuddcythonsylvanbddzdd
  Language:Python 168
• oxidd

  OxiDD / oxidd

  Concurrent decision diagram framework written in Rust

  bddbinary-decision-diagramszddzero-suppressed-decision-diagramszbdd
  Language:Rust 25

• zepgram / module-zero-downtime-deployment

  Disable native change detection from Magento2 to allow Zero Downtime Deployment Strategy.

  zdddowntime-deploymentmagento2podsgreen-podszero-downtimemagento2-moduleno-maintenancemagento2-devopsdeployment-strategy
  Language:PHP 22

• F1LT3R / ansi-to-svg

  😹 convert ANSI Escaped CLI strings to SVGs

  ansiclicolorsvgconvertescapezddchalkpowerline-fontsiterm2-color-schemeemojifont
  Language:JavaScript 21
• adiar

  SSoelvsten / adiar

  An I/O-efficient implementation of (Binary) Decision Diagrams

  bddbinary-decision-diagramsexternal-memoryzddzero-suppressed-decision-diagrams
  Language:C++ 20

• msakai / haskell-decision-diagrams

  Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell

  bddbinary-decision-diagrambinary-decision-diagramsdata-structureshaskellzdd
  Language:Haskell 13

• Yousign / safe-migrations

  Make your migrations safe

  migrationphppostgreszdd
  Language:PHP 7

• devstroke-io / zdd

  DevStroke Zero Downtime Deployment system

  deploy-tooldockerpythonzdd
  Language:Python 2

• pcerman / bdd-racket

  Implementation of the Binary Decision Diagrams in Racket

  binary-decision-diagramsracket-langzddrobdd
  Language:Racket 1

• ponlawat-w / php-frontier_zdd

  Finding all available paths in graph (PHP) using ZDD data structure and frontier-based

  zddfrontierpathfindingphp
  Language:PHP 1

• SSoelvsten / cudd

  CUDD: CU Decision Diagram package - with CMake and extended C++

  bddbinary-decision-diagramszddzero-suppressed-decision-diagrams
  Language:C 1
• adiar

  logsem / adiar

  External Memory (Binary) Decision Diagrams

  bddbinary-decision-diagramszddzero-suppressed-decision-diagramsexternal-memory
  Language:C++

• nlwmode / cudd

  CUDD stands for Colorado University Decision Diagram. It is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).

  bddaddzddcudds
  Language:C