SigmaX / LightBDD
A simple Binary Decision Diagram library in Java
☆15Updated 6 years ago
Alternatives and similar repositories for LightBDD:
Users that are interested in LightBDD are comparing it to the libraries listed below
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆14Updated 2 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
- Open RVC-CAL Compiler☆33Updated 5 years ago
- ☆9Updated 3 months ago
- ☆10Updated 4 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated 2 weeks ago
- A Java library for bigraphical reactive systems.☆11Updated 2 years ago
- A simulation platform for managed applications based on Maxine VM and ZSim☆10Updated 7 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated 3 months ago
- Official repository for PraPR source code☆14Updated 3 years ago
- A Java program synthesizer.☆21Updated 6 years ago
- a Java front-end for Sketch synthesis tool☆20Updated 2 months ago
- Library for computations over abstract algebraic structures such as finite fields and polynomial rings.☆7Updated 4 months ago
- JPL: The Prolog <-> Java interface☆54Updated 3 weeks ago
- Utility classes for dense and sparse matrices in JCuda☆11Updated 6 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆42Updated last year
- Reasoner for the description logic EL+.☆14Updated last week
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 2 years ago
- ☆58Updated 8 years ago
- SIMD Intrinsics in the JVM☆48Updated 7 years ago
- 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
- A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM☆25Updated 8 months ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆37Updated 7 months ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- TurnKey artifact for Z3☆36Updated this week
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- A framework for PSL inference.☆21Updated 9 years ago