Magnus is a special purpose mathematical package for Infinite Group Theory computations
AutoEnumerator.C FreeListProblems.C HomEnumerators.C ListProblems.C ORConsequencesEnumerator.C REnumerator.C SGREnumerator.C SMListIterator.C SMListSubgroupProblems.C SMListWordProblem.C SubgroupEnumerator.C WEnumerator.C