SMT
Statisfiable Modulo Theories
https://en.wikipedia.org/wiki/Satisfiability_modulo_theories