maxbannach / JdrasilLinks
A Modular Library for Computing Tree Decompositions
☆17Updated 11 months ago
Alternatives and similar repositories for Jdrasil
Users that are interested in Jdrasil are comparing it to the libraries listed below
Sorting:
- Sux4J is an effort to bring succinct data structures to Java.☆170Updated 2 months ago
- Library which contains several time-dependent data and index structures (e.g., IntervalTree, BucketTimeSeries), as well as algorithms.☆130Updated last month
- The Next Generation Logic Library☆148Updated last month
- Java Constraint Programming solver☆228Updated last year
- Graphstream core☆414Updated 2 years ago
- Graphstream algo☆104Updated 3 years ago
- Compact Data Structures Library☆128Updated 10 years ago
- Java Algebra System (JAS) Project☆46Updated last year
- A free, open-source Java library for modeling automata, graphs, and transition systems☆96Updated 3 weeks ago
- The #SAT solver sharpSAT☆59Updated 3 years ago
- A Minimal Perfect Hash Function Library☆168Updated 4 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 10 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated this week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆160Updated last month
- Java 8 implementation of a red-black interval-tree, with testing☆40Updated 4 years ago
- ☆10Updated last year
- Rolling hash functions in Java☆79Updated 9 years ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆79Updated 3 weeks ago
- A distributed in-memory key-value storage for billions of small objects.☆25Updated 6 years ago
- Implementation of the unary leapfrog join for efficient intersection of sorted sets.☆10Updated 5 years ago
- Master repository for the JHeaps project☆49Updated 4 years 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
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- String matching algorithms for searching a single or multiple strings in large texts☆47Updated last year
- Implementation of a dynamic interval tree, supporting efficient lookup for all intervals intersecting a query.☆31Updated 6 years ago
- Java Matrix Benchmark is a tool for evaluating Java linear algebra libraries for speed, stability, and memory usage.☆61Updated 2 years ago
- JavaSMT - Unified Java API for SMT solvers.☆227Updated this week
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆56Updated 2 years ago
- Benchmarking various graph databases, engines, datastructures, and data stores.☆37Updated 11 years ago
- Kodkod solver for relational logic☆78Updated 2 years ago