Package: haskell-simple-smt