Pricing · 2026
Boogie pricing
1 plan on the record · a free plan
Every plan
Boogie
Free
MIT licensed · requires .NET and a supported SMT solver
Read 11 Oct 2026 · github.com
1 plan on the record · a free plan
MIT licensed · requires .NET and a supported SMT solver
Read 11 Oct 2026 · github.com