so-rose
/
atat-mirror
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
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/
1 Commit
1 Branch
1 Tag
1.9 MiB
C++ 84.3%
Shell 9.1%
Perl 5.6%
Makefile 0.6%
C 0.3%
 
 
 
 
 
Go to file
Sofus Albert Høgsbro Rose 6ec52ad1b4
scrape(update): Retrieved 2023-08-31. 		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

readme 

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