Scribd Logo
Upload

Welcome to Scribd!

  • 2 SMT

    Uploaded by

    phloaw
    3 views1 page

    Original Title

    2.smt.txt

    Copyright

    © © All Rights Reserved

    Available Formats

    TXT, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    © All Rights Reserved
    Download as TXT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as txt, pdf, or txt
    3 views1 page

    2 SMT

    Uploaded by

    phloaw

    Copyright:

    © All Rights Reserved
    Download as TXT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as txt, pdf, or txt
    of 1

    (declare-fun x (Int) Int)

    (declare-fun y (Int) Int)


    (declare-fun w (Int) Int)

    (define-fun f ((x Int) (y Int)) Int (+ x y))

    (assert (
    forall ((t Int)) (=>
    (and (<= t 2) (>= t 0)) (>= (+ (x t) (y t)) 2)
    )
    ))
    (assert (= (w 1) (f (x 1) (y 1))))
    (check-sat)

    You might also like