haskell-simple-smt