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.