[Minotaur-dev] [minotaur-solver/minotaur] 17d89c: increasing stats of counting when branching done a...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 17d89cd6234e3eab850d32a3d39b0c67c8d6d4cc
      https://github.com/minotaur-solver/minotaur/commit/17d89cd6234e3eab850d32a3d39b0c67c8d6d4cc
  Author: Devanand <dev.ismdhanbad at gmail.com>
  Date:   2017-12-13 (Wed, 13 Dec 2017)

  Changed paths:
    M examples/simbranch/CrlnBrancher.cpp

  Log Message:
  -----------
  increasing stats of counting when branching done as per simbranch


  Commit: dc60f58b3915b24b8488051f0443619e69dabd9c
      https://github.com/minotaur-solver/minotaur/commit/dc60f58b3915b24b8488051f0443619e69dabd9c
  Author: Devanand <dev.ismdhanbad at gmail.com>
  Date:   2017-12-13 (Wed, 13 Dec 2017)

  Changed paths:
    M examples/simbranch/CrlnBnb.cpp
    M examples/simbranch/CrlnBrancher.cpp
    M examples/simbranch/CrlnBrancher.h

  Log Message:
  -----------
  Merge branch 'master' of github:minotaur-solver/minotaur

Conflicts:
	examples/simbranch/CrlnBrancher.cpp


Compare: https://github.com/minotaur-solver/minotaur/compare/537e48c9df1e...dc60f58b3915