@hackage smtLib1.0.6

A library for working with the SMTLIB format.

A library for working with the SMTLIB format.