Alternatives and similar repositories for DecisionDiagrams:

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

• boostorg / graph_parallel
  Boost.org graph_parallel module
  ☆30Updated 2 weeks ago
• ttarkowski / quile
  C++ genetic algorithms scientific library
  ☆13Updated last year
• tpet / lemon
  LEMON Graph Library
  ☆39Updated 5 years ago
• 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 2 weeks ago
• OpenCMISS-Dependencies / pastix
  PaStiX (Parallel Sparse matriX package) solver library
  ☆13Updated 6 years ago
• marvinwilliams / multiqueue
  ☆17Updated last month
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆73Updated 10 months ago
• KRM7 / gapp
  A genetic algorithms library in C++ for single- and multi-objective optimization.
  ☆35Updated 2 weeks ago
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 6 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 5 months ago
• tttapa / Pybind11-Matplotlib-Cpp
  Easily plotting from within C++ using Matplotlib, Python and pybind11
  ☆15Updated 5 years ago
• YimingYAN / cppipm
  C++ implementation of the Interior Point Methods (CPPIPM)
  ☆44Updated 7 years ago
• jgcoded / BuDDy
  BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files
  ☆13Updated 8 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆28Updated 2 years ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆118Updated 4 months ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆66Updated this week
• golems / reflex
  Real-Time robot control
  ☆9Updated 9 years ago
• lemire / FastShuffleExperiments
  How fast can we shuffle values?
  ☆37Updated last year
• chuffed / chuffed
  The Chuffed CP solver
  ☆104Updated 2 weeks ago
• richelbilderbeek / BoostGraphTutorial
  Redirects to https://github.com/richelbilderbeek/boost_graph_cookbook_1
  ☆14Updated 3 years ago
• YanielCarreno / dhrta
  Task Allocation Strategy to distribute goals (in a decentralised manner) in a heterogeneous fleet considering, goals makespan, goals posi…
  ☆11Updated 3 years ago
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated 2 weeks ago
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆33Updated 2 weeks ago
• tulip-control / gr1c
  a collection of tools for GR(1) synthesis and related activities
  ☆19Updated 4 months ago
• leotac / ELPP-IP
  Solving Elementary Longest/Shortest Path problems with Integer Programming
  ☆14Updated 8 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆43Updated last year
• a4z / astr
  ☆12Updated 10 months ago
• doganulus / reelay
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆34Updated last year
• STEllAR-GROUP / hpxcl
  This repository contains components that will support percolation via OpenCL and CUDA
  ☆32Updated 3 years ago
• Singular / LELA
  Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations
  ☆16Updated 12 years ago