Magma, Semi-Group, Monoid and Group solvers seems to work ! Enjoy !