(logic QF_NIA

 :smt-lib-version 2.0
 :written_by "Cesare Tinelli"
 :date "2011-06-11"

 :theories ( Ints )

 :language 
 "Closed formulas built over an arbitrary expansion of the Ints signature
  with free sort and function symbols."
)