[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