Alloy is a language for describing structures and a tool for exploring themgithub.com/AlloyTools125 pointsmooreds7 years ago