yav/smtLib — pull request #3 by brk (2014-11-17 22:06:01+00:00)
Title: Add CmdComment for representing comments in scripts.

I made this change locally since it was useful in debugging generated scripts to have some indication of the origin of different commands in the final script.

This is the simplest way of representing such comments... A strictly more general representation would be something like `CmdCommented String [Command] String` so that a block of commands could be wrapped with, for example, a text editor's folding delimiters.