%% Title: SAT Solver Created: 2022-03-13 18:00 Status: Parent: [[Resources/Computing]] Tags: Source: %% # SAT Solver A SAT solver is software that tries to provide solutions for [[Resources/Computing/BooleanSatisfiabilityProblem|Boolean Satisfiability problems]]. ###### Example software - [Z3](https://github.com/Z3Prover/z3)