eskang/validAlloy

A tool for validating Alloy specifications using test-case generation

Java