yices-painless/ - yices-painless - http://hackage.haskell.org/package/yices-painless

summary refs log tree commit diff

path: root/tests/examples/ex1.hs

blob: 7e924e0859a9bda4cd304aa3da559d55f2d30e68 (plain)

import Yices.Painless.Language

main = print =<< solve p

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