import Yices.Painless.Language

main = print =<< solve p

p = 0 ==* (1 :: Exp Int)