Module Language.SMTLIB.Pretty

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

Author: Jan Tikovsky

Version: December 2017

Summary of exported operations:

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

Exported operations:

parent :: [Doc] -> Doc   

Pretty print the given documents separated with spaces and parenthesized

showSMT :: [Command] -> String   

Show an SMT-LIB script

ppBool :: Bool -> Doc   

Pretty printing of booleans

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

ppCmd :: Command -> [Doc]   

Pretty printing of SMT-LIB commands.

Further infos:
  • partially defined

ppValPair :: (Term,Term) -> Doc