cvc5-cvc5-1.2.0.test.regress.cli.regress0.ho.issue6526.smt2 Maven / Gradle / Ivy
The newest version!
; COMMAND-LINE:
; EXPECT: sat
(set-logic HO_NIA)
(declare-fun x (Int) Bool)
(check-sat); COMMAND-LINE:
; EXPECT: sat
(set-logic HO_NIA)
(declare-fun x (Int) Bool)
(check-sat)