That page is far from being complete. Do not hesitate to drop me an email or make a pull request to include your favorite solver here.

Here is a list of solvers available from the SAT community for research purposes. Those solvers are expected to run out-of-the-box on recent computers.

SAT solvers

CDCL SAT solvers
Stochastic Local Search solvers
Pre-processors
FPGA based SAT solvers
GPU based SAT solvers

Pseudo-Boolean solvers

Pseudo-Boolean Optimizers

MaxSat solvers

MaxSat solvers

QBF solvers

Quantified Boolean Formulas solvers

Modal Logic solvers

Modal Logic solvers