summaryrefslogtreecommitdiff
path: root/tests/examples/ex66.hs
blob: d787cdb1883fe1e18a2bb7aba8952b3114b9b675 (plain)
1
2
3
4
5
6
7
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