Alternatives and similar repositories for DecisionDiagrams

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

• richelbilderbeek / BoostGraphTutorial
  Redirects to https://github.com/richelbilderbeek/boost_graph_cookbook_1
  ☆14Updated 4 years ago
• KRM7 / gapp
  A genetic algorithms library in C++ for single- and multi-objective optimization.
  ☆40Updated last week
• nspo / graphs-cpp
  Weighted and unweighted graphs and digraphs with C++
  ☆17Updated 4 years ago
• fhamonic / melon
  A graph library using modern C++ features (e.g., C++20 ranges) to be as efficient and user-friendly as possible.
  ☆53Updated 3 weeks ago
• skramm / spaghetti
  A simple and easy C++ Finite State Machine (FSM) container, with full manual
  ☆26Updated last month
• nessan / xoshiro
  C++ header-only library for the full family of Xoshiro/Xoroshiro random number generators
  ☆30Updated last week
• robotology / blockfactory
  A tiny framework to wrap algorithms for dataflow programming
  ☆40Updated last year
• pothitos / naxos
  A C++ Constraint Programming Library
  ☆46Updated last year
• nawaz1991 / cpp-oasvalidator
  A FAST C++ library to validate the HTTP requests against the OpenAPI specifications of the REST server.
  ☆17Updated 2 months ago
• rdmpage / graph-template-library
  GTL (Graph Template Library) is a STL based library, which provides necessary classes and algorithms for the work with graphs.
  ☆21Updated 3 years ago
• tttapa / Pybind11-Matplotlib-Cpp
  Easily plotting from within C++ using Matplotlib, Python and pybind11
  ☆16Updated 6 years ago
• mikael-s-persson / ReaK
  Software platform and algorithms for multi-body dynamics simulation, control, estimation, and path-planning. Intended for robotics softwa…
  ☆42Updated 2 weeks ago
• YimingYAN / cppipm
  C++ implementation of the Interior Point Methods (CPPIPM)
  ☆45Updated 7 years ago
• eisenwave / bitmanip
  Single-header C++ library for bit manipulation.
  ☆27Updated 4 years ago
• coin-or / Rehearse
  Algebraic modeling library in C++ for linear optimization solvers
  ☆44Updated 6 years ago
• Phantim97 / GPS-Kalman-Filter
  Filter out GPS Noise on Arduino and applying a Kalman Filter with SSE implementation
  ☆17Updated 4 years ago
• scipopt / SCIPpp
  A C++ wrapper for SCIP
  ☆31Updated last month
• a4z / astr
  ☆14Updated last month
• commschamp / commsdsl
  DSL schemas parser and code generators for CommsChampion Ecosystem
  ☆23Updated last week
• grame-cncm / digraph
  Very simple C++ directed graph library
  ☆79Updated 3 years ago
• nonstd-lite / jthread-lite
  C++20's jthread for C++11 and later in a single-file header-only library (WIP).
  ☆67Updated 2 months ago
• ubeh / fsm_examples
  Some boost::msm and boost::sml examples
  ☆26Updated 8 years ago
• FlexCoreLib / flexcore
  Build fast computational graphs quickly using modern C++
  ☆54Updated 5 years ago
• doganulus / reelay
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆41Updated 3 weeks ago
• Neargye / yacppl
  Yet Another C++ Library
  ☆23Updated 2 years ago
• nlamprian / matplotpp
  MATPLOT++ is a Matlab like simple plotting framework in C++.
  ☆12Updated 5 years ago
• tpet / lemon
  Unofficial unmaintained clone of LEMON Graph Library
  ☆50Updated 6 years ago
• ptroja / spark-navigation
  Robot navigation algorithms implemented in SPARK
  ☆12Updated 11 years ago
• hmenke / boost_matheval
  Evaluate mathematical expressions using Boost.Spirit
  ☆32Updated 3 years ago
• boostorg / graph_parallel
  Boost.org graph_parallel module
  ☆33Updated last month