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:
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated 3 months ago
- The source code repository for the FactorBase system☆10Updated last year
- reinforcement learning algorithms from the book by Sutton and Barto☆16Updated 4 years ago
- a Java front-end for Sketch synthesis tool☆20Updated 7 months ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆49Updated 3 years ago
- ☆10Updated 8 months 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
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Updated 5 months ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- Utility classes for dense and sparse matrices in JCuda☆11Updated 6 years ago
- ☆10Updated 5 years ago
- The Next Generation Logic Library☆148Updated last month
- Official repository for PraPR source code☆14Updated 4 years ago
- The ParSeMiS project (Parallel and Sequential Graph Mining Suite) searches for frequent, interesting substructures in graph databases. ht…☆45Updated 5 years ago
- A Java program synthesizer.☆21Updated 6 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated 2 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Updated 10 years ago
- A Java library for bigraphical reactive systems.☆11Updated 2 years ago
- SIMD Intrinsics in the JVM☆48Updated 7 years ago
- SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)☆12Updated 4 years ago
- The Earleyx parser was originated from Roger Levy's prefix parser, but has evolved significantly. Earleyx can generate Viterbi parses and…☆14Updated 11 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 5 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated 2 months ago
- Java implementation of the Simple Genetic Algorithm, the Univariate Marginal Distribution Algorithm, the Extended Compact Genetic Algorit…☆12Updated 10 years ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆20Updated 3 years ago
- The main repository integrating the LaTeX beamer-based slides☆27Updated 4 months ago
- JCublas - Java bindings for CUBLAS☆13Updated 9 months ago
- Port of SwiftyKanren to Kotlin☆19Updated 4 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 11 months ago
- The Automata Learning Framework☆19Updated 5 years ago