/alloy-exercises

my exercises for Alloy tool

Primary LanguageAlloy

No issues in this repository yet.