smtLibパッケージとSmtLibパッケージが違うパッケージで、かつSmtLibパッケージはHackageのパッケージ名(SmtLib)、githubのプロジェクト名(Smtlib)、cabalファイル名(SmtLib.cabal)、そこに書かれたパッケージ名(Smtlib)が一貫していなくて、発狂しそう。 誰か何とかして……
smtLib package
http://hackage.haskell.org/package/smtLib
https://github.com/yav/smtLib
SmtLib package
http://hackage.haskell.org/package/SmtLib
https://github.com/MfesGA/Smtlib
あと、smt-libパッケージとsmtlib2パッケージというのもあるが、これはまあいいや。
smt-lib package
http://hackage.haskell.org/package/smt-lib
https://github.com/tomahawkins/smt-lib
smtlib2 package
http://hackage.haskell.org/package/smtlib2
https://github.com/hguenther/smtlib2.git
SMT-LIB2のパーサが欲しいだけなんだが……