Simewu / top-SAT-solvers-2021Links
The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
☆21Updated 2 months ago
Alternatives and similar repositories for top-SAT-solvers-2021
Users that are interested in top-SAT-solvers-2021 are comparing it to the libraries listed below
Sorting:
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆24Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Updated 4 years ago
- ☆34Updated 10 months ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆112Updated last month
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- ☆40Updated last year
- The glucose SAT solver☆101Updated 7 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 8 months ago
- A Simple CDCL Solver☆29Updated 2 years ago
- ☆11Updated 3 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆29Updated 2 months ago
- SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…☆20Updated 4 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆27Updated last month
- A toolbox for knowledge compilation☆23Updated last month
- High-performance probabilistic exact counter☆41Updated this week
- SAT Solver SATCH☆120Updated 2 years ago
- The DRAT-trim proof checker☆60Updated 6 months ago
- A framework to ease parallelization of sequential SAT solvers☆18Updated 3 weeks ago
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆18Updated 2 years ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆18Updated 10 months ago
- The probSAT SAT Solver☆22Updated 2 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆13Updated 8 years ago
- Verifier for pseudo-Boolean proofs☆14Updated 2 years ago
- Structured BVA☆37Updated last year
- C++ Library for Quantum State Preparation (QSP)☆12Updated 2 years ago
- Cube-and-Conquer SAT solver☆34Updated last year