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/
This repository has been archived on 2025-09-04. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.
Find a file
2023-08-31 20:30:18 +02:00
data scrape(update): Retrieved 2023-08-31. 2023-08-31 20:30:18 +02:00
doc scrape(update): Retrieved 2023-08-31. 2023-08-31 20:30:18 +02:00
examples scrape(update): Retrieved 2023-08-31. 2023-08-31 20:30:18 +02:00
glue scrape(update): Retrieved 2023-08-31. 2023-08-31 20:30:18 +02:00
src scrape(update): Retrieved 2023-08-31. 2023-08-31 20:30:18 +02:00
foolproof scrape(update): Retrieved 2023-08-31. 2023-08-31 20:30:18 +02:00
foolproof.sh scrape(update): Retrieved 2023-08-31. 2023-08-31 20:30:18 +02:00
license.txt scrape(update): Retrieved 2023-08-31. 2023-08-31 20:30:18 +02:00
makefile scrape(update): Retrieved 2023-08-31. 2023-08-31 20:30:18 +02:00
patchtail scrape(update): Retrieved 2023-08-31. 2023-08-31 20:30:18 +02:00
readme scrape(update): Retrieved 2023-08-31. 2023-08-31 20:30:18 +02:00
safecp scrape(update): Retrieved 2023-08-31. 2023-08-31 20:30:18 +02:00

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