SigmaX / LightBDD
A simple Binary Decision Diagram library in Java
☆15Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for LightBDD
- 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
- Java library based on the VLog rule engine☆32Updated 5 months ago
- Linked SPARQL Queries (LSQ): Framework for RDFizing triple store (web) logs and performing SPARQL query extraction, analysis and benchmar…☆25Updated 3 weeks ago
- JCublas - Java bindings for CUBLAS☆13Updated last year
- Utility classes for dense and sparse matrices in JCuda☆11Updated 5 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 10 months ago
- A framework for scalable graph computing.☆148Updated 6 years ago
- The ParSeMiS project (Parallel and Sequential Graph Mining Suite) searches for frequent, interesting substructures in graph databases. ht…☆44Updated 4 years ago
- A framework for PSL inference.☆21Updated 9 years ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆13Updated this week
- Small examples showing how to use Odin for various IE tasks☆16Updated 7 years ago
- Common Java interfaces for RDF-1.1 libraries, now in Apache Incubator☆29Updated 4 years ago
- ☆35Updated 10 months ago
- ☆55Updated last year
- linear algebra for tensors with symbolic and numeric scalars☆33Updated 4 years ago
- GPU-accelerated natural language parser☆36Updated 10 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆14Updated 2 years ago
- Reasoner for the description logic EL+.☆14Updated 5 months ago
- Library of graph algorithms for Apache Giraph.☆8Updated 8 years ago
- Graph Mining Using SPARQL☆21Updated 9 years ago
- Sireum v3☆10Updated 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 7 years ago
- reinforcement learning algorithms from the book by Sutton and Barto☆16Updated 3 years ago
- FREyA is a Natural Language Interface for Querying Ontologies☆31Updated 6 years ago
- A JavaScript-based interface for graph traversal☆18Updated last year
- Various utilities regarding Levenshtein transducers. (Java)☆56Updated 2 years ago
- A Java Stochastic Dynamic Programming Library☆13Updated 6 months ago
- Java OWL Persistence API☆35Updated 3 weeks ago
- Makes working with OWL ontologies in Java easy by auto-generating classes that wrap OWL instances with a convenient API☆17Updated 14 years ago