Haskellで使えるSMT-LIB2のパーサやプリンタのライブラリ、 自分の知っている限りではこんなところなんだけど、 どれもイマイチ感……
smt-lib
http://hackage.haskell.org/package/smt-lib
https://github.com/tomahawkins/smt-lib.git
数年以上メンテナンスされていない
Hsmtlib
http://hackage.haskell.org/package/Hsmtlib
https://github.com/MfesGA/Hsmtlib
幾つかのSMTソルバを呼び出すためのライブラリでパーサも含まれている
Smtlib / SmtLib
https://github.com/MfesGA/Smtlib
http://hackage.haskell.org/package/SmtLib
上記のHsmtlibのパーサを切り出したものだと思う。
自分のtoysmtではとりあえずこれを使ってみたが、色々不都合があり結局ローカルに色々書き換えたものを使っている。
プルリクエストも色々と送っているが、あまり取り込んでもらえていない。