Generating diverse Alloy instances using combinatorial techniques
Primary LanguageAlloyMIT LicenseMIT