The Gauge tool

Gauge is a tool for the evaluation of predicates and expressions written in the Alloy modelling language. Unlike the Alloy Analyzer which is designed to find small instances, Gauge is designed to work efficiently with large known instances.

Gauge is intended to bridge the gap between modelling and real world systems.