[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