Skip to content

Instantly share code, notes, and snippets.

@jonnybest

jonnybest/get-proof-sample.smt2

Created November 19, 2012 21:14
Show Gist options
  • Save jonnybest/4113960 to your computer and use it in GitHub Desktop.
Save jonnybest/4113960 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. jbxf created this gist Nov 19, 2012.
    5 changes: 5 additions & 0 deletions get-proof-sample.smt2
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,5 @@
    (set-option :produce-proofs true)
    (declare-const a Int)
    (assert (and (> a 3) (< a 2)))
    (check-sat)
    (get-proof)