Re: [Boost-users] graph-tool and boost/random