Re: [Boost-users] New algorithm for four coloring planar graphs