This page has moved to https://libsemigroups.readthedocs.io/en/latest/.