S-Match Logic contains SAT solvers for deciding satisfiability of logical formulas.