ciaranm / glasgow-subgraph-solverLinks
A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
☆87Updated this 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:
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆69Updated last month
- CUDD Decision Diagram Package☆142Updated 3 weeks ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆123Updated last month
- Lingeling SAT Solver☆103Updated last year
- The glucose SAT solver☆122Updated 2 months ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆56Updated 2 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- High-performance exact counter☆45Updated this week
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- Maximum independent sets and vertex covers of large sparse graphs.☆78Updated last month
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆33Updated 5 months ago
- SAT Solver SATCH☆119Updated 2 years ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆20Updated last week
- CaDiCaL SAT Solver☆474Updated last week
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- ☆35Updated last month
- Entry to model counting competition 2021.☆22Updated last year
- KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisect…☆482Updated last month
- Implementation of multi-core (binary) decision diagrams☆77Updated 3 weeks ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆203Updated last week
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆21Updated 5 months ago
- Cube-and-Conquer SAT solver☆36Updated last month
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- Management of Benchmark Instances and Instance Attributes☆20Updated 4 months ago
- GBBS: Graph Based Benchmark Suite☆212Updated 3 weeks ago
- Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with…☆152Updated this week
- CNF generator in DIMACS format. It produces common families of CNFs.☆68Updated 3 weeks ago
- ☆563Updated 2 months ago
- The DRAT-trim proof checker☆62Updated 9 months ago
- Isomorphism testing and automorphisms of graphs☆70Updated 11 months ago