summaryrefslogtreecommitdiff
path: root/tests/examples/ex24.hs
blob: 63275032a5866404fd6082f1fbfa2461d0dc089f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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
      ]