[Minotaur-dev] [minotaur-solver/minotaur] 5a523a: fixed some bug
Mustafa Vora
noreply at github.com
Thu Jan 21 04:40:13 CST 2021
Branch: refs/heads/master
Home: https://github.com/minotaur-solver/minotaur
Commit: 5a523af1de392ca24d235a1b862986aa8d41f4f4
https://github.com/minotaur-solver/minotaur/commit/5a523af1de392ca24d235a1b862986aa8d41f4f4
Author: Vora Mustafa Makbul <mustafa.vora at iitb.ac.in>
Date: 2021-01-21 (Thu, 21 Jan 2021)
Changed paths:
M src/base/QuadHandler.cpp
Log Message:
-----------
fixed some bug
More information about the Minotaur-dev
mailing list