Free Group Algorithms (FGA) for GAP
