Boogie.VCExpr 3.5.6

.NET 8.0 This package targets .NET 8.0. The package is compatible with this framework or higher. 
dotnet add package Boogie.VCExpr --version 3.5.6
                    


                    

                
NuGet\Install-Package Boogie.VCExpr -Version 3.5.6
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package. 
<PackageReference Include="Boogie.VCExpr" Version="3.5.6" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
<PackageVersion Include="Boogie.VCExpr" Version="3.5.6" />
                    


                            Directory.Packages.props
                        

                    

                
<PackageReference Include="Boogie.VCExpr" />
                    


                            Project file
For projects that support Central Package Management (CPM), copy this XML node into the solution Directory.Packages.props file to version the package. 
paket add Boogie.VCExpr --version 3.5.6
                    


                    

                
#r "nuget: Boogie.VCExpr, 3.5.6"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package. 
#:package Boogie.VCExpr@3.5.6
#:package directive can be used in C# file-based apps starting in .NET 10 preview 4. Copy this into a .cs file before any lines of code to reference the package. 
#addin nuget:?package=Boogie.VCExpr&version=3.5.6
                    


                            Install as a Cake Addin
                        

                    

                
#tool nuget:?package=Boogie.VCExpr&version=3.5.6
                    


                            Install as a Cake Tool

Package Description

Product 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.

NuGet packages (3)

Showing the top 3 NuGet packages that depend on Boogie.VCExpr:

Package Downloads
Boogie.VCGeneration

Package Description
Boogie.Provers.SMTLib

Package Description
Boogie.Houdini

Package Description

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last Updated
3.5.6 510 12/10/2025
3.5.5 27,880 8/7/2025
3.5.4 333 6/26/2025
3.5.3 428 5/13/2025
3.5.2 2,932 4/28/2025
3.5.1 363 3/12/2025
3.4.3 53,563 11/26/2024
3.4.2 3,579 11/14/2024
3.4.1 8,999 10/25/2024
3.4.0 398 10/24/2024
3.3.3 3,949 10/15/2024
3.3.2 359 10/12/2024
3.3.1 362 10/7/2024
3.3.0 326 10/8/2024
3.2.5 15,120 9/12/2024
3.2.4 7,216 8/16/2024
3.2.3 7,125 7/30/2024
3.2.2 3,993 7/18/2024
3.2.0 396 7/4/2024
3.1.6 25,186 5/23/2024
3.1.5 382 4/23/2024
3.1.4 438 4/11/2024
3.1.3 27,001 3/13/2024
3.1.2 1,307 3/7/2024
3.1.1 1,467 3/5/2024
3.1.0 391 3/4/2024
3.0.12 4,648 2/19/2024
3.0.11 4,828 2/2/2024
3.0.10 5,251 1/22/2024
3.0.9 15,090 12/8/2023
3.0.8 3,026 11/29/2023
3.0.7 1,731 11/21/2023
3.0.6 372 11/16/2023
3.0.5 14,309 10/10/2023
3.0.4 4,822 9/14/2023
3.0.3 3,587 9/6/2023
3.0.2 356 9/5/2023
3.0.1 435 8/16/2023
3.0.0 23,313 7/20/2023
2.16.9 517 6/20/2023
2.16.8 23,882 6/1/2023
2.16.7 503 5/19/2023
2.16.5 11,417 4/10/2023
2.16.4 13,788 3/31/2023
2.16.3 6,687 3/9/2023
2.16.2 1,175 2/23/2023
2.16.1 660 2/21/2023
2.16.0 57,358 11/28/2022
2.15.9 17,218 10/25/2022
2.15.8 1,047 9/30/2022
2.15.7 52,340 7/22/2022
2.15.6 17,958 6/16/2022
2.15.5 1,213 6/15/2022
2.15.4 1,422 6/13/2022
2.15.3 1,403 6/10/2022
2.15.2 12,456 5/12/2022
2.15.1 1,581 5/5/2022
2.15.0 10,225 5/2/2022
2.14.0 1,659 4/19/2022
2.13.4 17,223 3/25/2022
2.13.3 1,281 3/23/2022
2.13.2 2,094 3/23/2022
2.13.1 3,036 3/17/2022
2.13.0 3,459 3/9/2022
2.12.1 4,052 2/28/2022
2.11.5 1,457 2/16/2022
2.11.4 10,578 2/4/2022
2.11.3 1,824 2/3/2022
2.11.2 5,898 1/10/2022
2.11.1 5,692 12/15/2021
2.11.0 2,077 12/9/2021
2.10.2 1,033 11/30/2021
2.10.0 994 11/30/2021
2.9.6 5,349 10/25/2021
2.9.5 1,122 10/21/2021
2.9.4 1,707 8/24/2021
2.9.3 10,098 8/10/2021
2.9.2 2,383 7/21/2021
2.9.1 1,509 7/5/2021
2.9.0 1,184 6/29/2021
2.8.33 1,298 6/14/2021
2.8.32 1,237 5/4/2021
2.8.31 1,278 4/21/2021
2.8.30 9,043 4/13/2021
2.8.29 1,254 3/29/2021
2.8.28 1,395 3/18/2021
2.8.27 1,396 3/11/2021
2.8.26 4,814 2/2/2021
2.8.25 1,276 2/2/2021
2.8.24 1,329 2/2/2021
2.8.23 1,425 1/22/2021
2.8.22 1,379 1/9/2021
2.8.21 5,879 1/5/2021
2.8.20 1,495 1/1/2021
2.8.18 1,459 12/29/2020
2.8.17 1,410 12/24/2020
2.8.16 1,348 12/23/2020
2.8.15 1,416 12/21/2020
2.8.14 1,573 12/19/2020
2.8.13 1,483 12/19/2020
2.8.12 1,451 12/13/2020
2.8.11 1,405 12/3/2020
2.8.10 1,460 12/2/2020
2.8.9 1,486 12/2/2020
2.8.8 1,406 11/26/2020
2.8.7 1,500 11/11/2020
2.8.6 1,512 11/5/2020
2.8.5 1,531 11/3/2020
2.8.4 1,614 10/30/2020
2.8.3 1,522 10/29/2020
2.8.2 1,529 10/24/2020
2.8.1 1,537 10/22/2020
2.8.0 1,558 10/20/2020
2.7.43 1,560 10/19/2020
2.7.42 1,525 10/15/2020
2.7.41 1,550 10/15/2020
2.7.40 1,540 10/14/2020
2.7.39 1,479 10/12/2020