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

Mustafa Vora noreply at github.com
Thu Jul 15 09:55:50 CDT 2021


  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




More information about the Minotaur-dev mailing list