Update to use `libsemigroups` v3#1087

Draft

Joseph-Edwards wants to merge 7 commits intomainfrom

libsemigroups-v3

Commits on Dec 6, 2025

Compiles
james-d-mitchell
committed
More
james-d-mitchell
committed
Add Presentation

Joseph-Edwards
authored and
james-d-mitchell
committed
Update to_cpp congruence_kind

Joseph-Edwards
authored and
james-d-mitchell
committed
Add to_cpp for WordGraph

Joseph-Edwards
authored and
james-d-mitchell
committed
Remove congruence_make_from_...

Joseph-Edwards
authored and
james-d-mitchell
committed
Refactor Congruence and Presentation

Joseph-Edwards
authored and
james-d-mitchell
committed