Alternatives and similar repositories for DecisionDiagrams

Users that are interested in DecisionDiagrams are comparing it to the libraries listed below

• tpet / lemon
  LEMON Graph Library
  ☆42Updated 5 years ago
• ttarkowski / quile
  C++ genetic algorithms scientific library
  ☆13Updated last year
• boostorg / graph_parallel
  Boost.org graph_parallel module
  ☆31Updated last month
• gabyx / GRSFramework
  Granular Rigid Body Simulation Framework: efficient research tools to simulate non-smooth granular rigid body dynamics.
  ☆10Updated 3 months ago
• richelbilderbeek / BoostGraphTutorial
  Redirects to https://github.com/richelbilderbeek/boost_graph_cookbook_1
  ☆14Updated 3 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆73Updated last year
• KRM7 / gapp
  A genetic algorithms library in C++ for single- and multi-objective optimization.
  ☆36Updated 3 weeks ago
• jfalcou / tts
  Tiny Test System
  ☆27Updated 2 months ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• greg7mdp / amt
  An Array Mapped Tree implementation
  ☆10Updated 4 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆105Updated last month
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated last month
• p-ranav / oystr
  oystr recursively searches directories for a substring.
  ☆11Updated 3 years ago
• mattreecebentley / plf_indiesort
  A sort wrapper enabling both use of random-access sorting on non-random access containers, and increased performance for the sorting of l…
  ☆20Updated last year
• ptroja / spark-navigation
  Robot navigation algorithms implemented in SPARK
  ☆12Updated 10 years ago
• rnakade / Reduced-Order-Binary-Decision-Diagrams
  C++ Implementation of reduced order binary decision diagram data structure
  ☆12Updated 9 years ago
• AnyDSL / runtime
  AnyDSL Runtime Library
  ☆22Updated last week
• Eisenwave / bitmanip
  Single-header C++ library for bit manipulation.
  ☆24Updated 3 years ago
• rollbear / tachymeter
  Header only C++14 micro benchmark
  ☆14Updated 9 years ago
• boostorg / scope
  Boost.Scope, a collection of scope guard utilities.
  ☆16Updated 3 weeks ago
• mtiapko / transformer
  Tool for parsing C/C++ code and generating output using a given Jinja-like template
  ☆18Updated 3 years ago
• boostorg / interval
  Boost.org numeric interval library
  ☆27Updated last month
• Phantim97 / GPS-Kalman-Filter
  Filter out GPS Noise on Arduino and applying a Kalman Filter with SSE implementation
  ☆17Updated 3 years ago
• lemire / talks
  Random material having to do with Daniel Lemire's talks
  ☆22Updated last year
• jgcoded / BuDDy
  BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files
  ☆13Updated 8 years ago
• skramm / spaghetti
  A simple and easy C++ Finite State Machine (FSM) container, with full manual
  ☆25Updated last year
• lattice-land / cuda-battery
  Abstractions of memory, allocator, vector, tuple, shared_ptr, unique_ptr, bitset, variant and string working on both CPU and GPU
  ☆30Updated last month
• felixguendling / express2cpp
  Generates C++ classes and high-performance STEP file parsers from EXPRESS definitions to process openBIM® IFC model files
  ☆12Updated 3 years ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated 2 years ago
• marvinwilliams / multiqueue
  ☆17Updated 2 months ago