(logic UFNIA
:smt-lib-version 2.6
:smt-lib-release "2017-11-24"
:written-by "Cesare Tinelli"
:date "2011-06-11"
:last-updated "2015-04-25"
:update-history
"Note: history only accounts for content changes, not release changes.
2015-04-25 Updated to Version 2.5.
"
:theories ( Ints )
:language
"Closed formulas built over an arbitrary expansion of the Ints signature
with free sort and function symbols."
)