⁵See https://smtlib.cs.uiowa.edu