binary-decision-diagram

There are 0 repository under binary-decision-diagram topic.

• pubkey / binary-decision-diagram

  A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram

  bddbinary-decision-diagramsbinary-decision-treerobddmtbddbinary-decision-diagramtruth-table
  Language:TypeScript 29

• msakai / haskell-decision-diagrams

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

  bddzddbinary-decision-diagramsbinary-decision-diagramdata-structureshaskell
  Language:Haskell 13

• rohankalbag / optiVLSI

  A library for fast and optimized VLSI Computer-Aided-Design algorithms

  automanbinary-decision-diagramgraph-algorithmslogic-simulatornumba-jitpythonvlsi-cad
  Language:Python 2

• Simula-UiB / CRHS

  Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).

  algebraicbddbinary-decision-diagrambinary-decision-diagramscryptanalysiscryptographycryptologycrhs
  Language:Rust 2