# SAT Solver | Formal Methods Tools
Keywords: Formal Methods Tools

# SAT Solver

Tool | Description
--- | ---
ParaFROST | ParaFROST is a parallel SAT solver with GPU-accelerated inprocessing capable of harnessing NVIDIA …
Riss | [ Not Maintained Since 2017 ] Riss is a SAT solving tool collection.
SMT-RAT | SMT-RAT is an SMT Real Algebra Toolbox. APIs and Bindings This tool is available through the …
Yices 2 | Yices is an SMT solver developed by SRI International. It is widely used for checking the …
Z3 | Z3 is a general-purpose theorem prover widely used for SAT & SMT solving. APIs and Bindings This …