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