Python wrappers for the Alloy Theoretic Automated Toolkit
Primary LanguagePython
This python module provides tools for interacting with ATAT using python.