Module Language.SMTLIB.Pretty

This module provides a pretty printer for the SMT-LIB language (v2.6).

Author: Jan Tikovsky

Version: August 2021

Summary of exported operations:

parent :: [Doc] -> Doc  Deterministic 
Pretty print the given documents separated with spaces and parenthesized
showSMT :: [Command] -> String  Deterministic 
Show an SMT-LIB script
ppBool :: Bool -> Doc  Deterministic 
Pretty printing of booleans
ppCmd :: Command -> [Doc]  Deterministic 
Pretty printing of SMT-LIB commands.
ppValPair :: (Term,Term) -> Doc  Deterministic 

Exported operations:

parent :: [Doc] -> Doc  Deterministic 

Pretty print the given documents separated with spaces and parenthesized

showSMT :: [Command] -> String  Deterministic 

Show an SMT-LIB script

ppBool :: Bool -> Doc  Deterministic 

Pretty printing of booleans

Further infos:
  • solution complete, i.e., able to compute all solutions

ppCmd :: Command -> [Doc]  Deterministic 

Pretty printing of SMT-LIB commands.

Further infos:
  • partially defined

ppValPair :: (Term,Term) -> Doc  Deterministic