I see that there have been problems compiling for python3 in the past, so
perhaps this is nothing more than that. I don't see python3-graph-tool,
although the python version is present. Is python3 on it's way?
Thanks for such a great (and fun) tool!