Releases: CVC4/org.alloytools.alloy
Releases · CVC4/org.alloytools.alloy
CRS
v5.0.0.5 changes
CRS
v5.0.0.4 small changes
CRS
v5.0.0.3 documentation
CRS
v5.0.0.2 Fixed lone multiplicity with fields
v5.0.0.5 changes
v5.0.0.4 small changes
v5.0.0.3 documentation
v5.0.0.2 Fixed lone multiplicity with fields