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 Mon Jun 22 11:08:18 CDT 2009