Boogie.Core 3.3.1

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

                    
                

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

                    
                

            
#r "nuget: Boogie.Core, 3.3.1"
#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=3.3.1

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

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 6,563 11/26/2024
3.4.2 2,730 11/14/2024
3.4.1 6,521 10/25/2024
3.4.0 286 10/24/2024
3.3.3 2,778 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,722 9/12/2024
3.2.4 5,853 8/16/2024
3.2.3 5,836 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,305 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,763 2/2/2024
3.0.10 4,169 1/22/2024
3.0.9 12,184 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,914 12/9/2021
2.10.2 1,094 11/30/2021
2.10.0 1,045 11/30/2021
2.9.6 5,394 10/25/2021
2.9.5 1,247 10/21/2021
2.9.4 1,814 8/24/2021
2.9.3 10,100 8/10/2021
2.9.2 2,486 7/21/2021
2.9.1 1,597 7/5/2021
2.9.0 1,316 6/29/2021
2.8.33 1,465 6/14/2021
2.8.32 1,400 5/4/2021
2.8.31 1,422 4/21/2021
2.8.30 8,989 4/13/2021
2.8.29 1,438 3/29/2021
2.8.28 1,590 3/18/2021
2.8.27 1,576 3/11/2021
2.8.26 4,809 2/2/2021
2.8.25 1,433 2/2/2021
2.8.24 1,500 2/2/2021
2.8.23 1,587 1/22/2021
2.8.22 1,570 1/9/2021
2.8.21 5,916 1/5/2021
2.8.20 1,660 1/1/2021
2.8.18 1,608 12/29/2020
2.8.17 1,579 12/24/2020
2.8.16 1,581 12/23/2020
2.8.15 1,591 12/21/2020
2.8.14 1,750 12/19/2020
2.8.13 1,678 12/19/2020
2.8.12 1,574 12/13/2020
2.8.11 1,603 12/3/2020
2.8.10 1,681 12/2/2020
2.8.9 1,616 12/2/2020
2.8.8 1,599 11/26/2020
2.8.7 1,735 11/11/2020
2.8.6 1,717 11/5/2020
2.8.5 1,744 11/3/2020
2.8.4 1,840 10/30/2020
2.8.3 1,740 10/29/2020
2.8.2 1,747 10/24/2020
2.8.1 1,767 10/22/2020
2.8.0 1,797 10/20/2020
2.7.43 1,784 10/19/2020
2.7.42 1,745 10/15/2020
2.7.41 1,761 10/15/2020
2.7.40 1,783 10/14/2020
2.7.39 1,727 10/12/2020