## 1.0.0.0
- 2019-08-04
    - Removed the general solver tentatively(for maintainability and good design).
    - Separated the logic formulas from the problem domains.
    - Removed the solver for `Options`.
    - Re-implemented the solver for `HM`.