Andrews-Curtis Conjecture (ACC) Challenge. Short trivialisations of balanced presentations of the trivial group: the AC moves, a replay verifier and a measured baseline search, for the SAIR Foundation competition.
competition mathematics computational-mathematics group-theory heuristic-search caltech combinatorial-group-theory ameythakur amey sair open-problem ameyarc amey-thakur andrews-curtis-conjecture sair-foundation andrews-curtis group-presentations balanced-presentations trivial-group free-groups
-
Updated
Sep 11, 2026 - Python