GitHub repository: mohamed-barakat/AlgebraicThomas
Primary language: GAP
Description: Algebraic Thomas decomposition