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