A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
☆107Jun 23, 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. 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☆19Updated this week
- A subgraph isomorphism algorithm.☆14Feb 12, 2021Updated 5 years 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 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- VF2 - Subgraph Isomorphism☆51Aug 24, 2025Updated 10 months ago
- GPU-friendly Subgraph Isomorphism, published in ICDE 2020☆37Jul 30, 2025Updated 11 months ago
- Verifier for pseudo-Boolean proofs☆15Oct 6, 2022Updated 3 years ago
- An open implementation of the MC family of maximum clique algorithms☆13Aug 4, 2016Updated 9 years ago
- Scaling Up Subgraph Query Processing with Efficient Subgraph Matching by Shixuan Sun and Dr. Qiong Luo☆18Nov 24, 2018Updated 7 years ago
- IoT workshop based on ESP8266, a DHT11/22 and neopixel RGB LED☆10Aug 15, 2019Updated 6 years ago
- ☆16Jan 24, 2025Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 5 years ago
- Example of Qibolab's platform initialization☆11Jun 25, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- ☆19May 14, 2024Updated 2 years ago
- A benchmarking suite for maximum independent set solvers.☆53Feb 3, 2024Updated 2 years ago
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆29Feb 16, 2020Updated 6 years ago
- ☆638Oct 16, 2025Updated 8 months ago
- ☆15Apr 6, 2026Updated 2 months ago
- A tutorial for agile development of cloud applications.☆18May 15, 2020Updated 6 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆16Mar 5, 2026Updated 4 months ago
- Example of an infinite hex grid shader in bevy v0.11☆13Aug 19, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An operating system for edge AI cameras☆13Mar 26, 2022Updated 4 years ago
- Hosting the code and scripts for benchmarking 4 graph databases - Neo4j, AgensGraph, LightGraph, and TigerGraph☆24Jan 2, 2024Updated 2 years ago
- Conjure: The Automated Constraint Modelling Tool☆115Jun 27, 2026Updated last week
- Topochecker, a topological model checker☆22Nov 19, 2019Updated 6 years ago
- ☆16Apr 21, 2025Updated last year
- GraphMineSuite (GMS): a benchmarking suite for graph mining algorithms such as graph pattern matching or graph learning☆26Jun 11, 2021Updated 5 years ago
- An AUGMECON based multi-objective optimization solver for Pyomo.☆30Apr 29, 2026Updated 2 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- The first efficient procedure to test whether a sampler is uniform☆14Mar 27, 2025Updated last year
- 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.
- A graph coloring register allocator for LLVM.☆11Jan 23, 2017Updated 9 years ago
- A git repo that is creepy☆15Sep 14, 2020Updated 5 years ago
- Fast Pauli Decomposition and its inverse☆25May 19, 2025Updated last year
- Simulation code for ADAPT-VQE with CEO pools and Hessian recycling.☆30Jun 24, 2026Updated last week
- LTL2PDDL tool☆13Jul 7, 2017Updated 8 years ago
- AutoML Two-Sample Test☆19Aug 3, 2022Updated 3 years ago
- A Memory-efficient Graph Store for Interactive Queries☆13Sep 1, 2021Updated 4 years ago