Candidates for congruence-relation

No candidates exist for congruence-relation. Upload one for this or another package?