The repository can be found on github.

Documentation for the Generic Group Analyzer Unbounded can be found here.