A alloytools.org Alloy is an open source language and analyzer for software modeling 121 points homarp 7 years ago 21 comments