[tunnuz]

Why is the project relying on boost::random, instead of using std::random? Is there a specifically reason for such a choice?