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:
- reinforcement learning algorithms from the book by Sutton and Barto☆16Updated 4 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- The source code repository for the FactorBase system☆10Updated last year
- a Java front-end for Sketch synthesis tool☆20Updated 10 months ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- ☆10Updated 5 years ago
- SIMD Intrinsics in the JVM☆48Updated 7 years ago
- Utility classes for dense and sparse matrices in JCuda☆11Updated 6 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- A Java library for bigraphical reactive systems.☆11Updated 2 years ago
- String matching algorithms for searching a single or multiple strings in large texts☆48Updated last year
- 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 4 years ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 6 years ago
- SRI Group Website☆10Updated last week
- The Next Generation Logic Library☆149Updated 4 months ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Updated last month
- JCublas - Java bindings for CUBLAS☆13Updated last year
- Java port of a concurrent trie hash map implementation from the Scala collections library☆29Updated 10 months ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 6 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- ☆10Updated 9 years ago
- The main repository integrating the LaTeX beamer-based slides☆29Updated 8 months ago
- ☆36Updated last year
- Numerical sniffing tool and Enriching number wrapper for Java☆24Updated last year
- Audio Synthesis and Mastering For Python (Jython)☆17Updated 7 years ago
- A Java program synthesizer.☆22Updated 6 years ago
- Java memoization library☆19Updated last year
- 🎲 Efficient Java implementation of the probabilistic Earley algorithm to parse Stochastic Context Free Grammars (SCFGs)☆37Updated last month
- ☆12Updated 11 months ago
- ☆12Updated 4 years ago