GitHub repository: JCRaymond/toddcoxeter
Primary language: C++
Created: 2019-04-26T20:03:30Z
Description: Fast C++ implementation of the Todd-Coxeter algorithm for coset enumeration