smtlib-backends-z3-0.2: Setup.hs

import Distribution.Simple

main = defaultMain