[stellation-res] Alloy specification organization

["Jonathan Gossage" <jgossage@xxxxxxxx>]

Have any decisions been made on to manage Alloy specifications in the source
tree? One approach might be to create a single project with multiple
sub-directories. It would be helpful to come up with something so we all use
the same conventions.

Regards

Jonathan