[3906] in Software_Announce
Alloy installed on Athena
daemon@ATHENA.MIT.EDU (Alex T Prengel)
Mon Nov 19 19:19:21 2012
From: Alex T Prengel <alexp@MIT.EDU>
To: software-announce@mit.edu
Cc: alexp@mit.edu, cfyi@mit.edu
Date: Mon, 19 Nov 2012 19:19:06 -0500
I've installed Alloy on Athena. Alloy is an MIT-developed language for
describing structures and a tool for exploring them. An Alloy model is a
collection of constraints that describes (implicitly) a set of
structures. Alloy’s tool, the Alloy Analyzer, is a solver that takes the
constraints of a model and finds structures that satisfy them.
To run it, type:
add alloy
alloy
You will need to read documentation and tutorials for usage details;
http://web.mit.edu/alloy_v4.2/README.athena has links to these.
Alex
