41namespace Gecode {
namespace Support {
43 unsigned int hwrnd(
void) {
57namespace 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.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r