Release notes at: https://github.com/libsemigroups/libsemigroups/releases/tag/v1.3.0 https://github.com/libsemigroups/libsemigroups/releases/tag/v1.3.1