a C++ library implementing permutation group algorithms