The Alloy-Theoretic Automated Toolkit (ATAT)
by Axel van de Walle

Further information about this toolkit can be found in the file
doc/manual.pdf in this distribution or at the following url
https://alum.mit.edu/www/avdw/atat/
or at the forum:
http://alum.mit.edu/www/avdw/forum