• Home
• tools.aqua
• cvc5-turnkey
• 1.2.0
• source code
• euf_simp05.smtv1.smt2

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

cvc5-cvc5-1.2.0.test.regress.cli.regress0.uf.euf_simp05.smtv1.smt2 Maven / Gradle / Ivy

(set-option :incremental false)
(set-info :status unsat)
(set-info :difficulty "unknown")
(set-info :category "crafted")
(set-logic QF_UF)
(declare-sort U 0)
(declare-sort A 0)
(declare-fun x () A)
(declare-fun f (A) A)
(check-sat-assuming ( (let ((_let_0 (f x))) (let ((_let_1 (f _let_0))) (not (=> (and (= _let_1 x) (= (f _let_1) x)) (= _let_0 x))))) ))