Dependencies for SmtLib-0.1.0.0

Libraries

SmtLib

base (>=4.6 && <4.8)
parsec (>=3.1 && <3.2)
transformers (>=0.4 && <0.5)