z3-haskell/ez3 archive