Boogie 3.5.7
dotnet tool install --global Boogie --version 3.5.7
This package contains a .NET tool you can call from the shell/command line.
dotnet new tool-manifest
dotnet tool install --local Boogie --version 3.5.7
This package contains a .NET tool you can call from the shell/command line.
#tool dotnet:?package=Boogie&version=3.5.7
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
nuke :add-package Boogie --version 3.5.7
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
An SMT-based program verifier.
| Product | Versions Compatible and additional computed target framework versions. |
|---|---|
| .NET | net8.0 is compatible. net8.0-android was computed. net8.0-browser was computed. net8.0-ios was computed. net8.0-maccatalyst was computed. net8.0-macos was computed. net8.0-tvos was computed. net8.0-windows was computed. net9.0 was computed. net9.0-android was computed. net9.0-browser was computed. net9.0-ios was computed. net9.0-maccatalyst was computed. net9.0-macos was computed. net9.0-tvos was computed. net9.0-windows was computed. net10.0 was computed. net10.0-android was computed. net10.0-browser was computed. net10.0-ios was computed. net10.0-maccatalyst was computed. net10.0-macos was computed. net10.0-tvos was computed. net10.0-windows was computed. |
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.
This package has no dependencies.
| Version | Downloads | Last Updated |
|---|---|---|
| 3.5.7 | 253 | 7/26/2026 |
| 3.5.6 | 9,416 | 12/10/2025 |
| 3.5.5 | 36,689 | 8/7/2025 |
| 3.5.4 | 395 | 6/26/2025 |
| 3.5.3 | 468 | 5/13/2025 |
| 3.5.2 | 345 | 4/28/2025 |
| 3.5.1 | 67,805 | 3/12/2025 |
| 3.4.3 | 8,407 | 11/26/2024 |
| 3.4.2 | 310 | 11/14/2024 |
| 3.4.1 | 343 | 10/25/2024 |
| 3.4.0 | 321 | 10/24/2024 |
| 3.3.3 | 367 | 10/15/2024 |
| 3.3.2 | 279 | 10/12/2024 |
| 3.3.1 | 280 | 10/7/2024 |
| 3.3.0 | 291 | 10/8/2024 |
| 3.2.5 | 60,167 | 9/12/2024 |
| 3.2.4 | 48,907 | 8/16/2024 |
| 3.2.3 | 315 | 7/30/2024 |
| 3.2.2 | 310 | 7/18/2024 |
| 3.2.0 | 291 | 7/4/2024 |
Loading failed