Master's Thesis in Informatics Engineering @UMinho

This project contains a tool to parse an Alloy model and translate it to Haskell executable code. It was developed during my Master's Thesis and its intended use is for educational purposes.

Usage

1. Store your Alloy model in a file named "input.als".
2. Execute your model in the Alloy Analyzer, then copy the instances it generates as text and paste them in a file named "instances.txt".
3. Run "python3 myInterpreter.py" in your terminal. It generates an output file named "output.hs" which contains the translated Haskell code.
4. Compile the generated Haskell file using ghci.