From 98ce7bc42705f9e1c5a83b0643de8931746df195 Mon Sep 17 00:00:00 2001
From: Erin van der Veen
Date: Thu, 5 Jul 2018 14:40:49 +0200
Subject: z3 interface for Clean

---
 Assignment2/src/Z3.dcl | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 Assignment2/src/Z3.dcl

(limited to 'Assignment2/src/Z3.dcl')

diff --git a/Assignment2/src/Z3.dcl b/Assignment2/src/Z3.dcl
new file mode 100644
index 0000000..0329987
--- /dev/null
+++ b/Assignment2/src/Z3.dcl
@@ -0,0 +1,13 @@
+definition module Z3
+
+from System.Process import :: ProcessHandle, :: ProcessIO
+
+:: Z3
+
+startZ3 :: *World -> (Z3, *World)
+addAssert :: Z3 String *World -> *World
+addVariable :: Z3 String *World -> *World
+checkSat :: Z3 *World -> (Bool, *World)
+
+// Note: getModel terminates z3
+getModel :: Z3 *World -> (String, *World)
-- 
cgit v1.2.3