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:
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆56Updated 2 years ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆127Updated last week
- The glucose SAT solver☆123Updated 3 months ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆70Updated this week
- CUDD Decision Diagram Package☆142Updated last month
- Lingeling SAT Solver☆103Updated last year
- Cube-and-Conquer SAT solver☆37Updated 2 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆33Updated 5 months ago
- CaDiCaL SAT Solver☆480Updated this week
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with…☆155Updated last week
- Entry to model counting competition 2021.☆22Updated last year
- The DRAT-trim proof checker☆64Updated 9 months ago
- High-performance exact counter☆46Updated last week
- Management of Benchmark Instances and Instance Attributes☆20Updated last week
- BuDDy BDD package (with CMake support)☆13Updated last year
- An awesome list of e-graph resources☆233Updated last week
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- An I/O-efficient implementation of (Binary) Decision Diagrams☆29Updated this week
- KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisect…☆483Updated 2 months ago
- Implementation of multi-core (binary) decision diagrams☆77Updated 3 weeks ago
- The Chuffed CP solver☆110Updated last month
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆25Updated 2 years ago
- SAT Solver SATCH☆119Updated 2 years ago
- ☆35Updated last month
- CNF generator in DIMACS format. It produces common families of CNFs.☆69Updated last month
- Maximum independent sets and vertex covers of large sparse graphs.☆78Updated 2 months ago
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆21Updated 6 months ago