index
:
yices-painless/
master
yices-painless - http://hackage.haskell.org/package/yices-painless
hdiff
summary
refs
log
tree
commit
diff
log msg
author
committer
range
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)