A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
☆97Feb 25, 2026Updated last week
Alternatives and similar repositories for glasgow-subgraph-solver
Users that are interested in glasgow-subgraph-solver are comparing it to the libraries listed below
Sorting:
- A constraint programming solver with support for proof logging☆17Updated this week
- Parallel solvers for hard problems☆12Oct 12, 2022Updated 3 years ago
- A subgraph isomorphism algorithm.☆14Feb 12, 2021Updated 5 years ago
- Verifier for pseudo-Boolean proofs☆15Oct 6, 2022Updated 3 years ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆23Dec 5, 2025Updated 3 months ago
- ☆22May 25, 2017Updated 8 years ago
- An open implementation of the MC family of maximum clique algorithms☆12Aug 4, 2016Updated 9 years ago
- ☆16Jan 24, 2025Updated last year
- ☆15Jun 7, 2023Updated 2 years ago
- Source code and datasets of "Efficient GPU-Accelerated Subgraph Matching", accepted by SIGMOD'23 - By Xibo Sun and Prof. Qiong Luo☆20Jul 20, 2023Updated 2 years ago
- Representing CP problems as graphs☆20Dec 18, 2024Updated last year
- GraphMineSuite (GMS): a benchmarking suite for graph mining algorithms such as graph pattern matching or graph learning☆26Jun 11, 2021Updated 4 years ago
- ☆24May 23, 2023Updated 2 years ago
- Maximum clique computation over large sparse graphs☆23Mar 19, 2022Updated 3 years ago
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆28Feb 16, 2020Updated 6 years ago
- Conjure: The Automated Constraint Modelling Tool☆111Feb 23, 2026Updated last week
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- Hosting the code and scripts for benchmarking 4 graph databases - Neo4j, AgensGraph, LightGraph, and TigerGraph☆23Jan 2, 2024Updated 2 years ago
- ☆603Oct 16, 2025Updated 4 months ago
- In-Memory Subgraph Matching: An In-depth Study by Dr. Shixuan Sun and Prof. Qiong Luo☆164Oct 26, 2023Updated 2 years ago
- Sparse linear Boolean algebra for Nvidia Cuda☆26Nov 17, 2025Updated 3 months ago
- Sandwood - A JVM based Java like Probabilistic Programming Language☆34Jun 27, 2025Updated 8 months ago
- Rust library for indexing and quickly searching large pretraining corpora☆31Oct 30, 2025Updated 4 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- Subgraph matching and isomorphisms in Python.☆28Nov 3, 2022Updated 3 years ago
- It's an simple django project for django beginners. It's cover all the django basic such as views, models, urls etc.☆11Oct 8, 2020Updated 5 years ago
- ☆33Oct 28, 2020Updated 5 years ago
- Code for the paper titled "Optimizing Subgraph Queries by Combining Binary and Worst-Case Optimal Joins". VLDB'19☆33Apr 25, 2025Updated 10 months ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- BitForex API Document☆11Jul 25, 2018Updated 7 years ago
- raw maxwell models and maxwell fan website☆12Mar 26, 2025Updated 11 months ago
- A minimal IRC server☆20Jul 27, 2024Updated last year
- C++ library for creating and manipulating decision diagrams.☆13Dec 3, 2025Updated 3 months ago
- codegeeks website sourcecode☆11Sep 24, 2024Updated last year
- Neural Destruction Search for Vehicle Routing Problems☆18Oct 6, 2025Updated 4 months ago
- ☆10Mar 4, 2024Updated 2 years ago
- Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem☆11Nov 26, 2019Updated 6 years ago
- Sparse Convex Optimization Toolkit (SCOT)☆13Feb 5, 2024Updated 2 years ago
- Tools to study and interact with the infrared connection feature of the Tamagotchi Connection v3 2024 re-release (20th anniversary editio…☆24Jan 6, 2026Updated last month