跳转至外部链接
https://en.wikipedia.org/wiki/Satisfiability_modulo_theories