Pretty print the smt2 files into something human readable
$ git clone https://github.com/R3x/smt2hr.git
$ cd smt2hr
$ python3 -m pip install -e .
$ smtconv --help
$ smtconv -s <smtfile> # prints to stdout
$ smtconv -o <outputfile> <smtfile> # writes to outputfile