Mate Diagnosis

2026-5-25 under 1 minute

Mate Diagnosis is used to check mates with errors or overdefined constraints. It helps identify mate conflicts and locate the constraints that cause assembly issues.