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

import Yices.Painless.Language

main = print =<< solve p

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