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

main = print =<< solve p

p = false