1. Iago Abal
  2. z3-haskell

Source

z3-haskell / Setup.hs

import Distribution.Simple
main = defaultMain