Alloy Docs

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
  • Time
  • Modules
• Tooling
  • Analyzer
  • Visualizer
  • Themes
  • Markdown
• Modules
  • boolean
  • graph
  • integer
  • naturals
  • ordering
  • relation
  • ternary
  • time (legacy)
• Techniques
  • Boolean Fields
  • Legacy Dynamic Models

Indices and tables

• Index

• Module Index

• Search Page