atat-mirror/readme

10 lines
280 B
Plaintext
Raw Permalink Normal View History

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