Alloy Documentation
latest
Contents:
Introduction
Language
Tooling
Modules
boolean
graph
integer
naturals
ordering
relation
ternary
time (legacy)
Techniques
Alloy Documentation
Modules
Edit on GitHub
Modules
boolean
Functions
graph
Functions
Predicates
integer
Functions
Predicates
naturals
Functions
Predicates
ordering
Functions
Predicates
relation
Functions
Predicates
ternary
time (legacy)
Macros
Read the Docs
v: latest
Versions
latest
Downloads
On Read the Docs
Project Home
Builds