summaryrefslogtreecommitdiff
path: root/tests/examples/ex24.hs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/examples/ex24.hs')
-rw-r--r--tests/examples/ex24.hs16
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/examples/ex24.hs b/tests/examples/ex24.hs
new file mode 100644
index 0000000..6327503
--- /dev/null
+++ b/tests/examples/ex24.hs
@@ -0,0 +1,16 @@
+import Yices.Painless.Language
+
+main = print =<< solve p
+
+data S = S1 | S2 | S3
+ deriving (Show, Enum)
+
+p x1 x2 x3 x4 =
+ and
+ [ (/=*) x1 x2
+ , (/=*) x1 x3
+ , (/=*) x1 x4
+ , (/=*) x2 x3
+ , (/=*) x2 x4
+ , (/=*) x3 x4
+ ]