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

import Yices.Painless.Language

main = print =<< solve p

p = false