41 namespace Gecode {
namespace Support {
43 unsigned int hwrnd(
void) {
57 namespace Gecode {
namespace Support {
60 std::fstream devrandom;
61 devrandom.open(
"/dev/random", std::fstream::in);
63 devrandom.read(
reinterpret_cast<char*
>(&rnd),
sizeof(
unsigned int));
unsigned int hwrnd(void)
Return hardware generated random number.