Figuring out how cardinality works in Alloy* was fun. First off I had to ask the TA how to even get a count of a set in Alloy* which looks like this #{SomeFormulaOrSet} Within it you can’t use the quantifiers such as all, some, lone, etc. Then I had to understand how bounds work. For… Read more »
Robert Pate's Dev Blog