Can you print or capture the diagram generated by the Alloy Visualizer?
How can I find out more about Alloy?
How does Alloy differ from other languages?
How does the Alloy Analyzer differ from model checkers?
How does the Alloy Analyzer differ from theorem provers?
How does the Alloy Analyzer work?
How has Alloy been used in teaching?
How is Alloy related to Z
How is Alloy related to OCL?
What are Alloy and the Alloy Analyzer?
What has Alloy been used for?
What kind of analysis does the Alloy Analyzer do?
What research is being done with or about Alloy?
Which SAT solver should I tell Alloy to use?