Sterling is a web-based visualizer for Alloy, providing enhanced graph and table views in an effort to make instances easier to understand. It is included in a custom build of Alloy, which can be downloaded here.
Mar 16th, 2020
The Sterling 1.0 release is now available. This version showcases a brand new user interface built using React and Blueprint. It is very close in functionality to the existing Alloy visualizer with a few major exceptions, which you can read about in the tour.
Aside from the overhauled interface, the most notable change from the previous version of Sterling is the lack of a tree view; its removal was an intentional decision, as it did not provide any functionality that isn't already present in the Alloy visualizer. Furthermore, the "snapshot" layout previously used in the graph view is no longer available. The graph rendering library has been entirely replaced and it does not yet support compound nodes (but will in an upcoming release).
Head to the downloads page to down Sterling 1.0.
Mar 11th, 2020
A demo of Sterling is available here or by clicking the link in the navigation bar above. The only features not available in the demo are the evaluator and the ability to generate the next solution using the Next button — everything else is identical to the Sterling that is packaged with our custom Alloy build, which you can download here.
Jan 28th, 2020
The Sterling 0.3.2-beta release is now available. This version includes evaluator support along with the ability to add evaluated expressions to the graph view. The graph view exclusively uses a force-directed layout, and nodes can be locked in place using Ctrl+Click or a double click. Ctrl+Enter when evaluating an expression will at the result to the graph automatically (if the expression evaluates to a set).