yices-painless-0.1.1: tests/examples/ex67.hs

import Yices.Painless.Language

main = print =<< solve p

p :: Exp Int -> Exp Int -> Exp Int -> Exp Bool 
p x y z =
    (3 * x) + (6 * y) + z ==* 1
  &&*
    z ==* 2