Alloy Analyzer

alloy-analyzer

Open-source language and analyzer for software modeling.

Detected by alloy | Linux |alloytools.org

Sync rules

What travels, what stays, what never leaves

Alloy Analyzer in your home directory Every rule on this page, by file

· ~/.java/.userPrefs/edu/mit/csail/sdg/alloy4/pref.xml Sync

Only what the catalog names. A directory that syncs brings everything inside it except what is listed as excluded here.

Same data, in the shape your tool already reads

Opens Otty and adds this tool to what it syncs

Opens otty://sync/add/alloy-analyzer. Otty ships with this catalog, so the link only has to name the tool — nothing is downloaded.

Every one of these is generated from the same rules as this page.