Skip to content

Alloy Analyzer pricing

1 plan read from alloytools.org

Visit alloytools.org

Alloy AnalyzerFree Open source project · self-contained executable Read 4 Oct 2026 · alloytools.org

In short

Alloy Analyzer has a free plan (Alloy Analyzer).

What the alternatives costAll alternatives →

Tool	From	Free plan	Free trial
cvc5	—	Yes	No
Lean	—	Yes	No
Rocq	—	Yes	No
PVS	—	Yes	No
Agda	—	No	No
Boogie	—	Yes	No
CBMC	—	Yes	No
HOL4	—	Yes	No