sat-solvers

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

Sudoku solver using SAT: encode puzzles into CNF, solve with a SAT solver, and reconstruct the solution.

A self-contained implementation of Linear & Cubic SAT Solvers from Logic in Computer Science by Huth & Ryan

Empirical study on correlation vs. computational hardness in SAT solving

Algorithm for solving the Latin Square puzzle Futoshiki using pseudo-boolean constraints and a SAT solver

Implementation of DPLL, CDCL together with server-client architecture for visualization and execution of benchmarks and sat-reductions of few known problems.

Python Package for solving sudoku with SAT and SMT.

CDCL Boolean Satisfiability (SAT) Solver written in modern C++

Solving Latin-Square & Sudoku problem by Z3-Solver and Qiskit-Solver