A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
☆98Feb 25, 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 subgraph isomorphism algorithm.☆14Feb 12, 2021Updated 5 years ago
- VF3 Algorithm - The fastest algorithm to solve subgraph isomorphism on large and dense graphs☆138Sep 2, 2025Updated 6 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 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆22May 25, 2017Updated 8 years ago
- Source Code for KDD 2020 paper "Neural Subgraph Isomorphism Counting"☆53Jul 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 4 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☆164Oct 26, 2023Updated 2 years ago
- IoT workshop based on ESP8266, a DHT11/22 and neopixel RGB LED☆10Aug 15, 2019Updated 6 years ago
- ☆18Jan 1, 2023Updated 3 years ago
- ☆15Jun 7, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Modular UEditor tool & runtime plugin for creating grid based experiences in Unreal Engine☆11Feb 1, 2024Updated 2 years ago
- Representing CP problems as graphs☆20Dec 18, 2024Updated last year
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆11Feb 3, 2020Updated 6 years ago
- Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」☆28Mar 28, 2024Updated last year
- Interactive molecular dynamics based model building into low-resolution crystallographic and cryo-EM maps☆41Mar 6, 2026Updated 2 weeks ago
- ☆614Oct 16, 2025Updated 5 months ago
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆28Feb 16, 2020Updated 6 years ago
- CUDA syntax highlighting for Vim☆15Oct 18, 2020Updated 5 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.
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Mar 5, 2026Updated 3 weeks ago
- Topochecker, a topological model checker☆19Nov 19, 2019Updated 6 years ago
- Fast Pauli Decomposition and its inverse☆21May 19, 2025Updated 10 months ago
- Conjure: The Automated Constraint Modelling Tool☆112Updated this week
- Can you go outside? Check SCAREDI-PI - the Simple Covid Ambient Reminder E-Ink Display for (Raspberry) Pi☆13Nov 27, 2020Updated 5 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- GPUVerify: a Verifier for GPU Kernels☆75Jul 28, 2022Updated 3 years ago
- LTL2PDDL tool☆11Jul 7, 2017Updated 8 years ago
- A Memory-efficient Graph Store for Interactive Queries☆13Sep 1, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Graph matching of brain connectivity networks based on graph edit distance☆13May 25, 2017Updated 8 years ago
- ☆366Jun 25, 2024Updated last year
- A tool for parallel and distributed enumeration of cliques and diameter two kplexes.☆15Dec 24, 2022Updated 3 years ago
- Arrow Matrix Decomposition - Communication-Efficient Distributed Sparse Matrix Multiplication☆15Mar 25, 2024Updated 2 years ago
- ☆19Jan 13, 2026Updated 2 months ago
- This repository contains the archived code, examples, and experimental artifacts for the VLDB 2026 FlowLog paper. It includes the Rust im…☆27Feb 7, 2026Updated last month
- Demos for book: Scientific computing for physicists.☆33Nov 6, 2025Updated 4 months ago