yices-painless-0.1.1: tests/examples/ex66.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) ==* 1