Some examples and notes while learning Alloy modeling language. - View it on GitHub