[Minotaur-dev] [coin-or/minotaur] 428fec: Added function for setting random seed

[Mohan Krishna Katta]

  Branch: refs/heads/master
  Home:   https://github.com/coin-or/minotaur
  Commit: 428fecde63f09fb02bff3b43a4ea60d835076b68
      https://github.com/coin-or/minotaur/commit/428fecde63f09fb02bff3b43a4ea60d835076b68
  Author: mohan krishna <kattamohankrishna2001 at gmail.com>
  Date:   2023-11-28 (Tue, 28 Nov 2023)

  Changed paths:
    M src/base/Environment.cpp
    M src/base/Environment.h
    M src/solvers/Glob.cpp

  Log Message:
  -----------
  Added function for setting random seed