alloy-exercises My exercises about Alloy tool exercises appendixA exercises from the book Software Abstraction tutorial exercises from courses of alloy.org workshop my own models(learning, thoughts, works...)