(logic QF_UFBV :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. 2013-06-24 Changed references to Fixed_Size_Bitvectors to FixedSizeBitVectors. " :theories ( FixedSizeBitVectors ) :language "Closed quantifier-free formulas built over arbitrary expansions of the FixedSizeBitVectors signature with free sort and function symbols. " :extensions "As in the logic QF_BV." )