⁵See http://www.smtlib.org/