Updating changelog.

1.0.0 release.

JavaSMT 0.60 release.

See CHANGELOG.md for changes.

New version w/ stable Maven Central release.

Released 0.5 version of JavaSMT.

Maven Central Release.

0.3 JavaSMT release.

 - Completely re-worked model API.

New version, backwards compatibility should be more stable.

JavaSMT 0.1