next up previous
Next: Credits and Licence Up: The Alloy-Theoretic Automated Toolkit Previous: The Alloy-Theoretic Automated Toolkit

Introduction

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



avdw@alum.mit.edu Fri Aug 27 21:35:05 CDT 2010