Haskellで書かれたnano-smt https://github.com/UCSD-PL/nano-smt というSMTソルバをたまたま知った。
なお、Haskellで書かれたSMTソルバとしては、他にSmoothや私のtoysmt などがある。
Smooth
http://hackage.haskell.org/package/Smooth
toysmt
https://github.com/msakai/toysolver
その他もろもろ
http://msakai.jp/hiki/?HaskellSMT