z3-encoding-0.2.1.1: Setup.hs

import Distribution.Simple
main = defaultMain