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.
CDCL sat solvers
Stochastic Local Search solvers
FPGA based sat solvers
- tusSAT VHDL