Boogie.Core 2.13.3

.NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher.
There is a newer version of this package available.
See the version list below for details. 
dotnet add package Boogie.Core --version 2.13.3                

                    
                

            
NuGet\Install-Package Boogie.Core -Version 2.13.3
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.Core" Version="2.13.3" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
paket add Boogie.Core --version 2.13.3                

                    
                

            
#r "nuget: Boogie.Core, 2.13.3"
#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. 
// Install Boogie.Core as a Cake Addin
#addin nuget:?package=Boogie.Core&version=2.13.3

// Install Boogie.Core as a Cake Tool
#tool nuget:?package=Boogie.Core&version=2.13.3

Package Description

Product Compatible and additional computed target framework versions.
.NET net6.0 is compatible.  net6.0-android was computed.  net6.0-ios was computed.  net6.0-maccatalyst was computed.  net6.0-macos was computed.  net6.0-tvos was computed.  net6.0-windows was computed.  net7.0 was computed.  net7.0-android was computed.  net7.0-ios was computed.  net7.0-maccatalyst was computed.  net7.0-macos was computed.  net7.0-tvos was computed.  net7.0-windows was computed.  net8.0 was computed.  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. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

NuGet packages (10)

Showing the top 5 NuGet packages that depend on Boogie.Core:

Package Downloads
Boogie.VCExpr

Package Description
Boogie.VCGeneration

Package Description
Boogie.Provers.SMTLib

Package Description
Boogie.Concurrency

Package Description
Boogie.Houdini

Package Description

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
3.4.3 4,841 11/26/2024
3.4.2 2,730 11/14/2024
3.4.1 6,277 10/25/2024
3.4.0 286 10/24/2024
3.3.3 2,761 10/15/2024
3.3.2 227 10/12/2024
3.3.1 245 10/7/2024
3.3.0 214 10/8/2024
3.2.5 12,720 9/12/2024
3.2.4 5,853 8/16/2024
3.2.3 5,828 7/30/2024
3.2.2 2,969 7/18/2024
3.2.0 266 7/4/2024
3.1.6 21,684 5/23/2024
3.1.5 270 4/23/2024
3.1.4 325 4/11/2024
3.1.3 22,302 3/13/2024
3.1.2 1,058 3/7/2024
3.1.1 1,122 3/5/2024
3.1.0 298 3/4/2024
3.0.12 3,617 2/19/2024
3.0.11 3,679 2/2/2024
3.0.10 4,169 1/22/2024
3.0.9 12,165 12/8/2023
3.0.8 2,500 11/29/2023
3.0.7 1,355 11/21/2023
3.0.6 330 11/16/2023
3.0.5 11,758 10/10/2023
3.0.4 4,285 9/14/2023
3.0.3 3,002 9/6/2023
3.0.2 320 9/5/2023
3.0.1 407 8/16/2023
3.0.0 16,959 7/20/2023
2.16.9 452 6/20/2023
2.16.8 19,276 6/1/2023
2.16.7 443 5/19/2023
2.16.5 10,223 4/10/2023
2.16.4 11,161 3/31/2023
2.16.3 5,598 3/9/2023
2.16.2 1,195 2/23/2023
2.16.1 665 2/21/2023
2.16.0 52,518 11/28/2022
2.15.9 16,148 10/25/2022
2.15.8 1,235 9/30/2022
2.15.7 49,094 7/22/2022
2.15.6 17,943 6/16/2022
2.15.5 1,435 6/15/2022
2.15.4 1,605 6/13/2022
2.15.3 1,559 6/10/2022
2.15.2 12,581 5/12/2022
2.15.1 1,782 5/5/2022
2.15.0 10,285 5/2/2022
2.14.0 1,864 4/19/2022
2.13.4 17,350 3/25/2022
2.13.3 1,488 3/23/2022
2.13.2 2,277 3/23/2022
2.13.1 3,204 3/17/2022
2.13.0 3,600 3/9/2022
2.12.1 4,141 2/28/2022
2.11.5 1,598 2/16/2022
2.11.4 10,609 2/4/2022
2.11.3 1,987 2/3/2022
2.11.2 5,939 1/10/2022
2.11.1 5,628 12/15/2021
2.11.0 1,912 12/9/2021
2.10.2 1,092 11/30/2021
2.10.0 1,043 11/30/2021
2.9.6 5,392 10/25/2021
2.9.5 1,245 10/21/2021
2.9.4 1,812 8/24/2021
2.9.3 10,098 8/10/2021
2.9.2 2,484 7/21/2021
2.9.1 1,594 7/5/2021
2.9.0 1,314 6/29/2021
2.8.33 1,463 6/14/2021
2.8.32 1,398 5/4/2021
2.8.31 1,420 4/21/2021
2.8.30 8,987 4/13/2021
2.8.29 1,436 3/29/2021
2.8.28 1,588 3/18/2021
2.8.27 1,573 3/11/2021
2.8.26 4,807 2/2/2021
2.8.25 1,431 2/2/2021
2.8.24 1,498 2/2/2021
2.8.23 1,585 1/22/2021
2.8.22 1,568 1/9/2021
2.8.21 5,914 1/5/2021
2.8.20 1,658 1/1/2021
2.8.18 1,606 12/29/2020
2.8.17 1,577 12/24/2020
2.8.16 1,579 12/23/2020
2.8.15 1,588 12/21/2020
2.8.14 1,748 12/19/2020
2.8.13 1,676 12/19/2020
2.8.12 1,572 12/13/2020
2.8.11 1,600 12/3/2020
2.8.10 1,679 12/2/2020
2.8.9 1,614 12/2/2020
2.8.8 1,597 11/26/2020
2.8.7 1,733 11/11/2020
2.8.6 1,715 11/5/2020
2.8.5 1,740 11/3/2020
2.8.4 1,838 10/30/2020
2.8.3 1,738 10/29/2020
2.8.2 1,745 10/24/2020
2.8.1 1,765 10/22/2020
2.8.0 1,795 10/20/2020
2.7.43 1,782 10/19/2020
2.7.42 1,743 10/15/2020
2.7.41 1,759 10/15/2020
2.7.40 1,781 10/14/2020
2.7.39 1,725 10/12/2020