Download

Sterling, like Alloy, is a self-contained executable which includes the Kodkod model finder, a variety of SAT solvers, the standard Alloy library, and a collection of tutorial examples. Additionally, the web interface is included so that a network connection is not needed to use Sterling. To execute, simply double-click on the jar file, or type java -jar Sterling-1.0.0.jar, replacing the version number to match the one you have downloaded.

Current Release

Sterling 1.1

Sterling 1.1 is an incremental update that introduces the Script View. The Script View is used to generate custom visualizations from Alloy instances.

Previous Releases

Sterling 1.0

Sterling 1.0 showcases a brand new user interface built using React and Blueprint. Aside from the overhauled interface, the most notable update 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).

• Full support for evaluator
• Graph view updates:
  • Freely draggable nodes
  • Display relations as attributes
  • Node styling with inheritance
  • Edge styling with inheritance
  • Rendering uses HTML Canvas instead of SVG
  • Four layout methods to choose from
• Table view updates:
  • Display tables by type (signature, field, or skolem)
  • Display custom set of tables
  • Display skolemized variables as highlighted table rows

All previous releases can be found on the releases page of the Sterling GitHub repository.