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:
- A constraint programming solver with support for proof logging☆19Updated this week
- VF3 Algorithm - The fastest algorithm to solve subgraph isomorphism on large and dense graphs☆136Sep 2, 2025Updated 8 months ago
- Parallel solvers for hard problems☆12Oct 12, 2022Updated 3 years ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆22Dec 5, 2025Updated 5 months ago
- Source Code for KDD 2020 paper "Neural Subgraph Isomorphism Counting"☆54Jul 25, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Verifier for pseudo-Boolean proofs☆15Oct 6, 2022Updated 3 years ago
- Subgraph matching and isomorphisms in Python.☆28Nov 3, 2022Updated 3 years ago
- An open implementation of the MC family of maximum clique algorithms☆13Aug 4, 2016Updated 9 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 6 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
- ☆18Jan 1, 2023Updated 3 years ago
- A tutorial for deploying number-crunching Python applications to IBM Cloud.☆15Sep 15, 2020Updated 5 years ago
- IoT workshop based on ESP8266, a DHT11/22 and neopixel RGB LED☆10Aug 15, 2019Updated 6 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.
- ☆24May 23, 2023Updated 3 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
- Example of Qibolab's platform initialization☆11Updated this week
- Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」☆28Mar 28, 2024Updated 2 years ago
- A benchmarking suite for maximum independent set solvers.☆52Feb 3, 2024Updated 2 years ago
- ☆629Oct 16, 2025Updated 7 months ago
- Driver for the LDBC SNB Interactive workload☆20Apr 6, 2026Updated last month
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆15Mar 5, 2026Updated 2 months ago
- A low-level intermediate representation for hardware description languages☆28Jun 28, 2020Updated 5 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.
- A framework useful for extracting machine learning features from pulsar candidate files (.PHCX and .PFD).☆15Sep 3, 2019Updated 6 years ago
- Evaluate state-of-the-art GPU joins☆14Nov 29, 2023Updated 2 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- Conjure: The Automated Constraint Modelling Tool☆115May 18, 2026Updated last week
- Topochecker, a topological model checker☆22Nov 19, 2019Updated 6 years ago
- Bloom Filter Benchmark for Heterogeneous Hardware.☆10May 19, 2019Updated 7 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.☆31Apr 29, 2026Updated 3 weeks ago
- This is a template for creating self-contained, runnable python projects in the form of a tidy, structured, runnable python package☆22Sep 11, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A git repo that is creepy☆15Sep 14, 2020Updated 5 years ago
- Source code of "RapidFlow: An Efficient Approach to Continuous Subgraph Matching" published in VLDB'2022 - By Shixuan Sun, Xibo Sun, Bing…☆32Jun 30, 2022Updated 3 years ago
- Fast Pauli Decomposition and its inverse☆24May 19, 2025Updated last year
- GPUVerify: a Verifier for GPU Kernels☆80Jul 28, 2022Updated 3 years ago
- LTL2PDDL tool☆13Jul 7, 2017Updated 8 years ago
- The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear …☆81Mar 10, 2026Updated 2 months ago
- AutoML Two-Sample Test☆19Aug 3, 2022Updated 3 years ago