-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Tristan Dyer edited this page Dec 3, 2019
·
10 revisions
Sterling is a web-based visualization for Alloy, providing more customizable visualizations than the built-in Alloy visualizer. Additionally, the Sterling architecture is designed in a way that allows other model finding tools to easily make use of its visualization capabilities.
This wiki is divided in to two sections, development and usage. The development section is for developers who wish to create custom builds of Sterling, and the usage section is for users who want to learn how to use Sterling.
Use the sidebar to navigate the wiki.