Changelog for smtLib-1.0.4

1.0: First release.