Apparently, it's a thing from http://alloytools.org/ http://alloytools.org/ described as follows: > Alloy is an open source language and analyzer for software

Apparently, it's a thing from http://alloytools.org/ http://alloytools.org/ described as follows: > Alloy is an open source language and analyzer for software modeling.