Description
Provides support for working with the SMTLIB format in Haskell. SMTLIB is a standard language used to describe formulas and commands for SMT solvers.
It is useful for verification tools, symbolic reasoning, solver integrations, test generators, and research software. It is a developer library and does not include a full solver by itself.