Changelog for smt2-parser

0.1.0.0

Initial release.

0.1.0.1

Relax dependency constraints.