Awesome Open Source

Programming Languages

Search results for binary decision diagrams

binary-decision-diagrams x

10 search results found

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

Decisiondiagrams ⭐ 41

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

Binary Decision Diagram ⭐ 28

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

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

Haskell Decision Diagrams ⭐ 11

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

Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)

bddem is a SWI-Prolog pack for using Binary Decision Diagrams

Concurrent decision diagram framework written in Rust

Hermesbdd ⭐ 6

Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.

BuDDy BDD package (with CMake support)

Related Searches

Behavior Driven Development Binary Decision Diagrams (15)

Diagram Binary Decision Diagrams (9)

C Plus Plus Binary Decision Diagrams (6)

Binary Decision Diagrams Zdd (5)

C Binary Decision Diagrams (3)

Binary Decision Diagrams Cudd (3)

Rust Binary Decision Diagrams (3)

Java Binary Decision Diagrams (3)

1-10 of 10 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.