Pricing
Boogie pricing
As github.com lists them, read 11 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| Boogie | MIT licensed · requires .NET and a supported SMT solver | Free |
From github.com.
Pricing
As github.com lists them, read 11 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| Boogie | MIT licensed · requires .NET and a supported SMT solver | Free |
From github.com.