Alloy Documentation
latest
Contents:
Introduction
Language
Tooling
Modules
Techniques
Alloy Documentation
Docs
»
Welcome to the Alloy Documentation!
Edit on GitHub
Welcome to the Alloy Documentation!
¶
Contents:
Introduction
About Alloy
About This Guide
How to Read
About the Author
Language
Signatures
Sets and Relations
Expressions and Constraints
Predicates and Functions
Commands
Modules
Tooling
Analyzer
Visualizer
Themes
Markdown
Modules
boolean
graph
ordering
relation
ternary
time
Techniques
Boolean Fields
Dynamic Models
Indices and tables
¶
Index
Module Index
Search Page
Read the Docs
v: latest
Versions
latest
Downloads
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.