I wrote a computer program that generates group presentations.
I would like to know the sizes of the resulting groups. I know that this is undecidable.
Are there good heuristic programs that can try to compute the size of a group given by generators and relations?
I am not interested in apporximating the size. Only in determining the exact size, when the software can do it, hopefully often in my cases.