bdds

There are 0 repository under bdds topic.

• microsoft / DecisionDiagrams

  A performant and ergonomic implementation of binary decision diagrams for .NET

  binary-decision-diagramsbddsverification
  Language:C# 51

• asminer / meddly

  Multi-terminal and Edge-valued Decision Diagram LibrarY

  bddsevmddsmdds
  Language:C++ 13

• gglusman / genome-fingerprints

  Software for creating and comparing genome fingerprints.

  bddsfingerprintgenomegenome-fingerprints
  Language:Perl 11

• gglusman / data-fingerprints

  bddsdata-fingerprintsfingerprintncats-translator
  Language:Python 7

• incaseoftrouble / jbdd

  Efficient pure Java implementation of (Binary) Decision Diagrams

  binary-decision-diagramsbddsjava
  Language:Java 6

• gglusman / genotype-fingerprints

  bddsfingerprintgenomegenotype-fingerprints
  Language:Perl 5

• mgalm / bcn-scripts

  BlueCat Usersscripts

  bluecatbluecatnetworkbluecatnetworksbambddsproteusadonis
  Language:JavaScript 4

• yurireeis / bddocs

  Create end-user readable docs in Pythonic way

  pythonicbdddocumentationbddsbddocschartsend-userreadablebdd-style
  Language:Python 3

• the-pinbo / ROBDD

  A binary decision diagram is a directed acyclic graph used to represent a Boolean function. The ROBDD is a canonical form, which means that given an identical ordering of input variables, equivalent Boolean functions will always reduce to the same ROBDD.

  bddbddsboolean-algebragraphviz-dotipynb-jupyter-notebookpthon3robddvlsivlsi-cad
  Language:Jupyter Notebook 2

• netkat-lang / idds

  Identity suppressed decision diagrams (IDDs)

  bddsbinary-decision-diagramssymbolic-manipulationdata-structures
  Language:OCaml 1