Looking at Ramsey numbers using Boost Graph