Exported names: Imported modules:

Module XFD.SMTLib.Pretty

This module defines a pretty printer for SMT data types in order to show them in the SMT-LIB2 syntax.

Summary of exported operations:

showSMTLib
                  :: [Command] -> String

Shows a pretty printed version of a list of SMT-LIB commands.

showSMTLib :: [Command] -> String

Shows a pretty printed version of a list of SMT-LIB commands.