alloy-analyzer

Open-source language and analyzer for software modeling

brewmacoslinux

Try with needOr install directly

About

Open-source language and analyzer for software modeling

alloy

Run Alloy analyzer on a model file$ alloy model.als

Check a specific predicate in an Alloy model$ alloy check ModelName.pred -b 5

Generate instances satisfying a constraint$ alloy run ModelName.run for 3 but 1 seq