[Minotaur-dev] [minotaur-solver/minotaur] a82309: Free up branch candidate if we are not branching
Ashutosh Mahajan
noreply at github.com
Mon Jun 10 06:09:10 CDT 2019
Branch: refs/heads/master
Home: https://github.com/minotaur-solver/minotaur
Commit: a82309a6f8a0d6f83b2cc425a72e3dd92f1cb3bb
https://github.com/minotaur-solver/minotaur/commit/a82309a6f8a0d6f83b2cc425a72e3dd92f1cb3bb
Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
Date: 2019-06-10 (Mon, 10 Jun 2019)
Changed paths:
M src/base/ReliabilityBrancher.cpp
Log Message:
-----------
Free up branch candidate if we are not branching
More information about the Minotaur-dev
mailing list