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.

Exported operations:

showSMTLib :: [Command] -> String   

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