Found these links helpful: https://en.m.wikipedia.org/wiki/Satisfiability_modulo_theories#Applications https://en.m.wikipedia.org/wiki/Satisfiability_modulo_th

Found these links helpful: https://en.m.wikipedia.org/wiki/Satisfiability_modulo_theories#Applications https://en.m.wikipedia.org/wiki/Satisfiability_modulo_theori... https://github.com/Z3Prover/z3/wiki/Slides https://github.com/Z3Prover/z3/wiki/Slides Appears to be useful for static analysis and verification of a program.