Use clang-format to reformat SMT-LIB printer in LLVM style.
Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical) order.
Merge pull request #106 from pcc/smtlib-printer

Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical) order.
Add the ability to control whether the pretty printer uses line breaks

This change makes it possible to more reliably write unit tests which check
that an expression is equivalent to an expected pretty printed string.
Merge pull request #108 from pcc/pp

Add the ability to control whether the pretty printer uses line breaks