45 namespace Gecode {
namespace Support {
47 unsigned int hwrnd(
void) {
61 namespace Gecode {
namespace Support {
64 std::fstream devrandom;
65 devrandom.open(
"/dev/random", std::fstream::in);
67 devrandom.read(reinterpret_cast<char*>(&rnd),
sizeof(
unsigned int));
Post propagator for SetVar SetOpType SetVar SetRelType r
Gecode toplevel namespace
unsigned int hwrnd(void)
Return hardware generated random number.