Academia example
Readings
- Class notes on modelling an Academia setting in Alloy
- Old class notes on modelling an Academia setting in Alloy, with more details in the slides.
Resources
- Academy models for the Alloy Analyzer: academia-1.als, academia-2.als, academia-3.als,