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.
cargo install mdbook
cargo install mdbook-admonish
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.