Solvers
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
- Coprocessor C++
- Saffron Java
- SatELite C++
FPGA based sat solvers
- tusSAT VHDL
Pseudo-Boolean solvers
Pseudo-Boolean Optimizers