stallings-graphs (pypi): Stallings graph representation of finitely generated subgroups of free groups
Keywords: SageMath|Stallings|Graphs|Finitely|Generated|Subgroups|Free|Groups