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
- UBCSAT C
Pre-processors
- Coprocessor C++
- Saffron Java
- SatELite C++
- SPASS-CNF
FPGA based SAT solvers
- tusSAT VHDL MIT
GPU based SAT solvers
- ParaFROST C++ MIT
Pseudo-Boolean solvers
Pseudo-Boolean Optimizers
MaxSat solvers
MaxSat solvers
