/top-SAT-solvers-2021

The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.

Primary LanguageCMIT LicenseMIT

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.