Changelog of @hackage/minisat-solver 0.1

v0.1 2016/10/24 Initial public release.