@hackage / smtlib2-debug

Dump the communication with an SMT solver for debugging purposes.