première réunion

Stevendeo · Jun 30, 2020 · f3ad875 · f3ad875
1 parent de4280e
commit f3ad875
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/examples/smt2/arith/arith1.ae b/examples/smt2/arith/arith1.ae
@@ -0,0 +1,2 @@
+logic x : int
+goal g : ("model:":x) < 42
diff --git a/examples/smt2/bool/bool2.smt2 b/examples/smt2/bool/bool2.smt2
@@ -0,0 +1,7 @@
+(set-logic QF_UF)
+(declare-const x Bool)
+(declare-const y Bool)
+(assert (or x (not x)))
+(check-sat)
+(get-model)
+(get-assignment)