ATAT

The Alloy-Theoretic Automated Toolkit (ATAT) is a generic name that refers to a collection of alloy theory tools

homepage: https://www.brown.edu/Departments/Engineering/Labs/avdw/atat/

version	toolchain
3.36	GCCcore/9.3.0

(quick links: (all) - 0 - a - b - c - d - e - f - g - h - i - j - k - l - m - n - o - p - q - r - s - t - u - v - w - x - y - z)