Read-only mirror of ATAT, with no modifications whatsoever. See
doc/references.bib
for complete attribution.
https://www.brown.edu/Departments/Engineering/Labs/avdw/atat/
data | ||
doc | ||
examples | ||
glue | ||
src | ||
foolproof | ||
foolproof.sh | ||
license.txt | ||
makefile | ||
patchtail | ||
readme | ||
safecp |
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