A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
☆101Apr 3, 2026Updated last month
Alternatives and similar repositories for glasgow-subgraph-solver
Users that are interested in glasgow-subgraph-solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CP 2015 subgraph isomorphism experiments, data and paper☆13Sep 5, 2015Updated 10 years ago
- A constraint programming solver with support for proof logging☆18Updated this week
- VF3 Algorithm - The fastest algorithm to solve subgraph isomorphism on large and dense graphs☆136Sep 2, 2025Updated 8 months ago
- RI is a general purpose algorithm for one-to-one exact subgraph isomorphism problem maintaining topological constraints.☆20Jul 11, 2022Updated 3 years ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆23Dec 5, 2025Updated 5 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆22May 25, 2017Updated 8 years ago
- Source Code for KDD 2020 paper "Neural Subgraph Isomorphism Counting"☆54Jul 25, 2024Updated last year
- Verifier for pseudo-Boolean proofs☆15Oct 6, 2022Updated 3 years ago
- An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnit…☆15Nov 15, 2025Updated 5 months ago
- Scaling Up Subgraph Query Processing with Efficient Subgraph Matching by Shixuan Sun and Dr. Qiong Luo☆18Nov 24, 2018Updated 7 years ago
- In-Memory Subgraph Matching: An In-depth Study by Dr. Shixuan Sun and Prof. Qiong Luo☆166Oct 26, 2023Updated 2 years ago
- unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other versions, the official release system i…☆22Jul 18, 2025Updated 9 months ago
- ☆16Jan 24, 2025Updated last year
- ☆24May 23, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆28Sep 28, 2022Updated 3 years ago
- ☆15Jun 7, 2023Updated 2 years 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
- CLI tool to record how much time it takes to import each dependency in a Python project☆12Mar 24, 2022Updated 4 years ago
- A Fast sketching based solver for large scale ridge regression☆17Jun 7, 2024Updated last year
- A smart-casual LaTeX Beamer theme☆14Jan 21, 2025Updated last year
- ☆627Oct 16, 2025Updated 6 months ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆12Feb 20, 2024Updated 2 years ago
- Driver for the LDBC SNB Interactive workload☆20Apr 6, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆15Mar 5, 2026Updated 2 months ago
- Example of an infinite hex grid shader in bevy v0.11☆13Aug 19, 2023Updated 2 years ago
- 📤 defer instance resolution until runtime☆18Sep 23, 2019Updated 6 years ago
- Can you go outside? Check SCAREDI-PI - the Simple Covid Ambient Reminder E-Ink Display for (Raspberry) Pi☆13Nov 27, 2020Updated 5 years ago
- GraphMineSuite (GMS): a benchmarking suite for graph mining algorithms such as graph pattern matching or graph learning☆26Jun 11, 2021Updated 4 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- An AUGMECON based multi-objective optimization solver for Pyomo.☆31Updated this week
- 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
- Benchmark instances for the maximum weight clique problem☆19Jan 19, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆10Apr 13, 2024Updated 2 years ago
- Official repo for "ProSec: Fortifying Code LLMs with Proactive Security Alignment"☆17Feb 26, 2026Updated 2 months ago
- A Memory-efficient Graph Store for Interactive Queries☆13Sep 1, 2021Updated 4 years ago
- Graph matching of brain connectivity networks based on graph edit distance☆13May 25, 2017Updated 8 years ago
- Demos for book: Scientific computing for physicists.☆34Nov 6, 2025Updated 5 months ago
- Check your data which may be stolen every time you visit a site. ⚠️☆13Dec 7, 2022Updated 3 years ago
- Sources of ergoplatform.org☆11Jan 11, 2024Updated 2 years ago