language-smtlib-0.1.0.0: test/samples/smt/declare-const.smt2
(set-logic QF_LRA) (declare-const b Bool) (declare-const x Real) (declare-const y Real) (check-sat)
(set-logic QF_LRA) (declare-const b Bool) (declare-const x Real) (declare-const y Real) (check-sat)