SigmaX / LightBDDLinks
A simple Binary Decision Diagram library in Java
☆15Updated 7 years ago
Alternatives and similar repositories for LightBDD
Users that are interested in LightBDD are comparing it to the libraries listed below
Sorting:
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆47Updated 3 years ago
- ☆9Updated 6 months ago
- The source code repository for the FactorBase system☆10Updated last year
- Pure Kotlin CDCL SAT solver☆9Updated last year
- reinforcement learning algorithms from the book by Sutton and Barto☆16Updated 4 years ago
- ☆10Updated 4 years ago
- Library for computations over abstract algebraic structures such as finite fields and polynomial rings.☆7Updated 8 months ago
- JCublas - Java bindings for CUBLAS☆13Updated 8 months ago
- Wrapping Apache TinkerPop☆9Updated this week
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- Utility classes for dense and sparse matrices in JCuda☆11Updated 6 years ago
- A Java library for bigraphical reactive systems.☆11Updated 2 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- 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
- ☆9Updated 9 years ago
- ☆23Updated 11 years ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- ☆36Updated last year
- 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 8 years ago
- SIMD Intrinsics in the JVM☆48Updated 7 years ago
- Java library for running and visualizing Deep Neural Networks trained in Torch.☆23Updated 3 months ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 5 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 10 months ago
- Tree-based Autofolding Software Summarization Algorithm☆42Updated 8 years ago
- Numerical sniffing tool and Enriching number wrapper for Java☆23Updated 7 months ago
- Sireum v3☆10Updated last year
- a Java front-end for Sketch synthesis tool☆20Updated 5 months ago
- Scala Algebra System☆16Updated 3 months ago
- RockIt: A query engine for Markov logic☆11Updated 9 years ago