An engine that automates the discovery, classification, and visualization of homomorphisms between finite algebraic structures.
csp constraint-satisfaction-problem group-theory computational-algebra abstract-algebra homomorphism
-
Updated
Jun 8, 2026 - Python