[Minotaur-dev] [minotaur-solver/minotaur] 4e5a65: a minor correction
GitHub
noreply at github.com
Thu Oct 12 05:50:15 CDT 2017
Branch: refs/heads/master
Home: https://github.com/minotaur-solver/minotaur
Commit: 4e5a651ca2512815b048bede78745a23e40a40cc
https://github.com/minotaur-solver/minotaur/commit/4e5a651ca2512815b048bede78745a23e40a40cc
Author: Prashant Palkar <prashant.palkar at saki.iitb.ac.in>
Date: 2017-10-12 (Thu, 12 Oct 2017)
Changed paths:
M src/base/ReliabilityBrancher.h
Log Message:
-----------
a minor correction
More information about the Minotaur-dev
mailing list