1 2 3 4 5 6 7 8
(logic QF_BVFP :written-by "smtlib-rs (unofficial)" :theories (FixedSizeBitVectors FloatingPoint) :language "Closed quantifier-free formulas over the FixedSizeBitVectors and FloatingPoint theories." )
