Skip to content
SPECIFICTION
Get listed

Z3 pricing

1 plan read from github.com

Visit github.com
Z3 (MIT licensed)Free MIT-licensed downloads and source code Read 2 Oct 2026 · github.com

In short

  • Z3 has a free plan (Z3 (MIT licensed)).

What the alternatives costAll alternatives →

ToolFromFree planFree trial
cvc5—YesNo
Lean—YesNo
Rocq—YesNo
PVS—YesNo
Agda—NoNo
Alloy Analyzer—YesNo
Boogie—YesNo
CBMC—YesNo