alloy-instance-checker-generator Simple java programs to generate instances from an Alloy model and check instances against an Alloy model. Instructions for compiling and using these programs is in the .java file of each.
