/python-atat

Python wrappers for the Alloy Theoretic Automated Toolkit

Primary LanguagePython

Overview

This python module provides tools for interacting with ATAT using python.