Re: undefined #2 Post by makecheck » Thu, Apr 23, 2015, 1:58 AM UTC May be somewhat confusing as there is already an "Alloy" language from MIT for modeling:http://alloy.mit.edu/alloy/