[Minotaur-dev] [minotaur-solver/minotaur] a39c92: Adding contributors

[Mustafa Vora]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: a39c92398e524f358e99c62af1f414a9574801bc
      https://github.com/minotaur-solver/minotaur/commit/a39c92398e524f358e99c62af1f414a9574801bc
  Author: Mustafa Vora <mustafa.vora at iitb.ac.in>
  Date:   2021-07-15 (Thu, 15 Jul 2021)

  Changed paths:
    A CONTRIBUTORS.md

  Log Message:
  -----------
  Adding contributors