![]() |
VOOZH | about |
dotnet add package Boogie.Graph --version 3.5.6
NuGet\Install-Package Boogie.Graph -Version 3.5.6
<PackageReference Include="Boogie.Graph" Version="3.5.6" />
<PackageVersion Include="Boogie.Graph" Version="3.5.6" />Directory.Packages.props
<PackageReference Include="Boogie.Graph" />Project file
paket add Boogie.Graph --version 3.5.6
#r "nuget: Boogie.Graph, 3.5.6"
#:package Boogie.Graph@3.5.6
#addin nuget:?package=Boogie.Graph&version=3.5.6Install as a Cake Addin
#tool nuget:?package=Boogie.Graph&version=3.5.6Install as a Cake Tool
Package Description
| Product | Versions Compatible and additional computed target framework versions. |
|---|---|
| .NET | net8.0 net8.0 is compatible. net8.0-android net8.0-android was computed. net8.0-browser net8.0-browser was computed. net8.0-ios net8.0-ios was computed. net8.0-maccatalyst net8.0-maccatalyst was computed. net8.0-macos net8.0-macos was computed. net8.0-tvos net8.0-tvos was computed. net8.0-windows net8.0-windows was computed. net9.0 net9.0 was computed. net9.0-android net9.0-android was computed. net9.0-browser net9.0-browser was computed. net9.0-ios net9.0-ios was computed. net9.0-maccatalyst net9.0-maccatalyst was computed. net9.0-macos net9.0-macos was computed. net9.0-tvos net9.0-tvos was computed. net9.0-windows net9.0-windows was computed. net10.0 net10.0 was computed. net10.0-android net10.0-android was computed. net10.0-browser net10.0-browser was computed. net10.0-ios net10.0-ios was computed. net10.0-maccatalyst net10.0-maccatalyst was computed. net10.0-macos net10.0-macos was computed. net10.0-tvos net10.0-tvos was computed. net10.0-windows net10.0-windows was computed. |
Showing the top 5 NuGet packages that depend on Boogie.Graph:
| Package | Downloads |
|---|---|
|
Boogie.Core
Package Description |
|
|
Boogie.VCGeneration
Package Description |
|
|
Boogie.Provers.SMTLib
Package Description |
|
|
Boogie.Concurrency
Package Description |
|
|
Boogie.Houdini
Package Description |
This package is not used by any popular GitHub repositories.
| Version | Downloads | Last Updated |
|---|---|---|
| 3.5.6 | 656 | 12/10/2025 |
| 3.5.5 | 57,439 | 8/7/2025 |
| 3.5.4 | 382 | 6/26/2025 |
| 3.5.3 | 473 | 5/13/2025 |
| 3.5.2 | 17,972 | 4/28/2025 |
| 3.5.1 | 386 | 3/12/2025 |
| 3.4.3 | 54,877 | 11/26/2024 |
| 3.4.2 | 3,720 | 11/14/2024 |
| 3.4.1 | 9,249 | 10/25/2024 |
| 3.4.0 | 508 | 10/24/2024 |
| 3.3.3 | 4,132 | 10/15/2024 |
| 3.3.2 | 426 | 10/12/2024 |
| 3.3.1 | 463 | 10/7/2024 |
| 3.3.0 | 436 | 10/8/2024 |
| 3.2.5 | 15,368 | 9/12/2024 |
| 3.2.4 | 7,366 | 8/16/2024 |
| 3.2.3 | 7,359 | 7/30/2024 |
| 3.2.2 | 4,088 | 7/18/2024 |
| 3.2.0 | 497 | 7/4/2024 |
| 3.1.6 | 25,773 | 5/23/2024 |