[Minotaur-dev] [minotaur-solver/minotaur] f2614c: minor edits in license

[Ashutosh Mahajan]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: f2614c6fb0f3f4d9e44e7b54b6f80fce94423373
      https://github.com/minotaur-solver/minotaur/commit/f2614c6fb0f3f4d9e44e7b54b6f80fce94423373
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2021-09-14 (Tue, 14 Sep 2021)

  Changed paths:
    M LICENSE

  Log Message:
  -----------
  minor edits in license