language-smtlib-0.1.0.0: test/samples/smt/unicode-symbol.smt2

(set-logic QF_LRA)
(declare-fun あいうえお () Real)
(declare-fun café () Real)
(check-sat)