Sq (ANU Soluble Quotient
The ANU Sq computes a power conjugate presentation
for a finite soluble quotient of a finitely presented group.
It is implemented in C and runs under most Unix
based operating systems.
The ANU Quotient algorithms are described in
more detail on this page.