Alternatives and similar repositories for LightBDD:

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

• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆15Updated last month
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• idsc-frazzoli / subare
  reinforcement learning algorithms from the book by Sutton and Barto
  ☆16Updated 3 years ago
• scafi / scafi
  scafi (Scala with computational Fields): a Scala framework for Aggregate Computing
  ☆24Updated last week
• idsc-frazzoli / tensor
  linear algebra for tensors with symbolic and numeric scalars
  ☆32Updated 5 years ago
• astojanov / NGen
  SIMD Intrinsics in the JVM
  ☆48Updated 6 years ago
• svn2github / SAT4J
  This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…
  ☆9Updated 7 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• SparseLinearAlgebra / spbla
  Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations
  ☆14Updated 2 years ago
• lessthanoptimal / DeepBoof
  Java library for running and visualizing Deep Neural Networks trained in Torch.
  ☆23Updated 6 months ago
• plum-umd / java-sketch
  a Java front-end for Sketch synthesis tool
  ☆20Updated last week
• BrunoEberhard / minimal-j
  Java - but small
  ☆17Updated this week
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆41Updated last year
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 3 years ago
• hhu-bsinfo / hadroNIO
  Transparent acceleration for Java NIO applications via UCX
  ☆20Updated this week
• jcuda / jcuda-matrix-utils
  Utility classes for dense and sparse matrices in JCuda
  ☆11Updated 5 years ago
• GeorgOfenbeck / SpiralS
  ☆22Updated 11 years ago
• beehive-lab / MaxSim
  A simulation platform for managed applications based on Maxine VM and ZSim
  ☆10Updated 7 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆43Updated last week
• CoreASM / coreasm.core
  CoreASM core projects
  ☆22Updated last year
• Vinhixus / TornadoVM-Ray-Tracer
  A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM
  ☆25Updated 6 months ago
• sfu-cl-lab / FactorBase
  The source code repository for the FactorBase system
  ☆10Updated 10 months ago
• TiarkRompf / lms-clean
  ☆54Updated last year
• lessthanoptimal / VectorPerformance
  ☆23Updated 3 years ago
• uzh / signal-collect
  A framework for scalable graph computing.
  ☆147Updated 6 years ago
• vavr-io / vavr-render
  A rendering library, currently housing graph renderers (ascii and graphviz).
  ☆17Updated 7 years ago
• hhu-bsinfo / infinileap
  A modern networking framework based on ucx for Java 19+
  ☆22Updated last year
• tribbloid / shapesafe
  SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
  ☆30Updated 10 months ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆46Updated 2 years ago