language-smtlib-0.1.0.0: test/samples/smt/define-funs-rec.smt2
(set-logic QF_UFLIA) (define-funs-rec ((even ((x Int)) Bool) (odd ((x Int)) Bool)) ((ite (= x 0) true (odd (- x 1))) (ite (= x 0) true (odd (- x 1))))) (check-sat)
(set-logic QF_UFLIA) (define-funs-rec ((even ((x Int)) Bool) (odd ((x Int)) Bool)) ((ite (= x 0) true (odd (- x 1))) (ite (= x 0) true (odd (- x 1))))) (check-sat)