Comment Comment by BruceM Have you seen http://www.margrave-tool.org/v3/ which builds on Kodkod (which came after Alloy...)? parent BruceM 8 years ago
