Simewu / top-SAT-solvers-2021
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:
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆24Updated 2 years ago
- ☆11Updated 3 years ago
- ☆34Updated 10 months ago
- PyTorch implementation of NeuroSAT☆28Updated last year
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 7 months ago
- ☆39Updated last year
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated last year
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆34Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆28Updated last month
- SAT solver for education☆26Updated 2 years ago
- The probSAT SAT Solver☆22Updated 2 years ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Updated 4 years ago
- BuDDy BDD package (with CMake support)☆12Updated last year
- High-performance probabilistic exact counter☆37Updated this week
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆18Updated 9 months ago
- ☆16Updated 3 years ago
- A Simple CDCL Solver☆29Updated 2 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- Verifier for pseudo-Boolean proofs☆14Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- A framework to ease parallelization of sequential SAT solvers☆18Updated last week
- Python bindings for egg☆48Updated 2 years ago
- The glucose SAT solver☆99Updated 6 months ago
- Learning local search heuristics for Boolean satisfiability☆37Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆27Updated 2 weeks ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- A Python API for the MiniSat and MiniCard constraint solvers.☆20Updated last year
- ☆12Updated 7 years ago