Skip to content

Boogie pricing

1 plan read from github.com

Visit github.com

BoogieFree MIT licensed · requires .NET and a supported SMT solver Read 11 Oct 2026 · github.com

In short

Boogie has a free plan (Boogie).

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
Alloy Analyzer	—	Yes	No
CBMC	—	Yes	No
HOL4	—	Yes	No