Alloy Analyzer
alloy-analyzerOpen-source language and analyzer for software modeling.
Open-source language and analyzer for software modeling.
Alloy Analyzer’s manifest has no command form yet. It is one section of apps/alloy-analyzer/otty.toml — contribute it.