Re: [graph-tool] Graph tool - computer config (GPU ~ OpenMP ~ CPU)