/HAMSTERS-Alloy

Formalisation of HAMSTERS task models in Alloy.

Primary LanguageAlloy

Stargazers