The latest version of smt2-parser is 0.1.0.1-0.

Language.SMT2.Parser

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?