Here you can download a program written in Python 2 which serves to find all the one-element Rees co-extensions of a given finite, negative, totally ordered monoid. As a byproduct, all such monoids up to a given finite size can be determined.
The details on the algorithm are in the following papers:
The code has been recently completely rewritten and published as a Python 3 library on PyPI. See: