summaryrefslogtreecommitdiff
path: root/tests/examples/ex1.hs
blob: 7e924e0859a9bda4cd304aa3da559d55f2d30e68 (plain)
1
2
3
4
5
import Yices.Painless.Language

main = print =<< solve p

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