klee/klee — pull request #106 by pcc (2014-03-18 06:02:57+00:00)
Title: Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical) order.

I also reformatted the SMT-LIB printer with clang-format for consistency with the rest of KLEE.