This is the compendium material to a workshop titled "Alloy; an amalgamation of model and design".
It aims to provide an insight in the tool Alloy describe, simulate and provide counter examples to various models.
We use Make to automate various tasks in this project. Run
make
To kick things off.
On each push to main a new release is cut.