The Top Three SAT Solvers of 2021

The SAT 2021 conference was held on July 5th in Barcelona.

The proceedings can be found here, and the results/slides can be found here.

---

The winners of the main track were:

• kissat_MAB: (PAR-2: 2222, 148 solved), by Mohamed Sami Cherif, Djamal Habet and Cyril Terrioux.
• lstech_maple: (PAR-2: 2358, 144 solved), by Xindi Zhang, Shaowei Cai, and Zhihan Chen.
• kissat_gb: (PAR-2: 2430, 143 solved), by Md Solimul Chowdhury, Martin Müller and Jia-Huai You.

The source code of the solvers was taken from the SAT 2021 repository.

---

Usage

To use the SAT solvers within a Linux machine, enter the following:

# Compile the SAT solvers
./compile_SATs.sh

# Run the default "simple.cnf" file against all the SAT solvers
./run_SATs.sh

# Run any DIMACS file against all the SAT solvers
./run_SATs.sh PATH_TO_SAT_INSTANCE.cnf

---

Web-based version

For an easy-to-use web based SAT solver, visit https://github.com/simewu/SAT-solver.