tree 9fde9dad1c8cff364b7430c037bea31391977edb
parent b545aacf5d1903cb7306f3e3bebbde33bc1309e8
author Davide Pesavento <davide.pesavento@lip6.fr> 1506144993 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1506146225 -0400

Eliminate dependency on Boost.Random

Also replace use of std::random_shuffle (removed in C++17)
with std::shuffle.

Change-Id: I200a8a404e67447c547c9abfa1a5a55a18de9ef3