The Universal Algebra Calculator
The Universal Algebra Calculator now has its own web page with
information on downloading and running it, as well as documentation:
www.uacalc.org
The old version is still available
here
.