Biblioteca C++ para semigrupos e monoides
