Library with algorithms for computing finite and finitely presented semigroups
A C++14 library containing implementations of several algorithms for computing finite and finitely presented semigroups.
실험적 패키지 표시 커뮤니티 패키지 표시