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