diff options
Diffstat (limited to 'tests/examples/ex24.hs')
| -rw-r--r-- | tests/examples/ex24.hs | 16 |
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 + ] |