z3-haskell/z3-0.3-contrib archive