Alloy Documentation
latest
Contents:
Introduction
Language
Tooling
Analyzer
Visualizer
Themes
Markdown
Modules
Techniques
Alloy Documentation
Docs
»
Tooling
Edit on GitHub
Tooling
ΒΆ
Analyzer
Configuring the Analyzer
Visualizer
Menu Bar Functions
Output options
Evaluator
Projection
Themes
General Graph Settings
Types and Sets
Relations
Markdown
Header
Alloy sections
GitHub Pages support
Read the Docs
v: latest
Versions
latest
Downloads
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.