hguenther/z3-haskell archive