Boogie.Core 3.0.1

There is a newer version of this package available.
See the version list below for details.

dotnet add package Boogie.Core --version 3.0.1

NuGet\Install-Package Boogie.Core -Version 3.0.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.0.1" />

For projects that support PackageReference, copy this XML node into the project file to reference the package.

paket add Boogie.Core --version 3.0.1

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

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

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

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

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.

Product

.NET

Compatible target framework(s)

Included target framework(s) (in package)

Learn more about Target Frameworks and .NET Standard.

net6.0
- Boogie.BaseTypes (>= 3.0.1)
- Boogie.CodeContractsExtender (>= 3.0.1)
- Boogie.Graph (>= 3.0.1)

NuGet packages (10)

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

Package	Downloads
Boogie.VCExpr Package Description	477.1K
Boogie.VCGeneration Package Description	464.0K
Boogie.Provers.SMTLib Package Description	453.4K
Boogie.Concurrency Package Description	443.3K
Boogie.Houdini Package Description	438.3K

GitHub repositories

This package is not used by any popular GitHub repositories.

Version	Downloads	Last updated
3.2.5	5,001	9/12/2024
3.2.4	5,842	8/16/2024
3.2.3	5,789	7/30/2024
3.2.2	2,928	7/18/2024
3.2.0	257	7/4/2024
3.1.6	20,134	5/23/2024
3.1.5	264	4/23/2024
3.1.4	315	4/11/2024
3.1.3	22,218	3/13/2024
3.1.2	1,050	3/7/2024
3.1.1	1,116	3/5/2024
3.1.0	290	3/4/2024
3.0.12	3,611	2/19/2024
3.0.11	3,618	2/2/2024
3.0.10	4,161	1/22/2024
3.0.9	11,833	12/8/2023
3.0.8	2,492	11/29/2023
3.0.7	1,347	11/21/2023
3.0.6	324	11/16/2023
3.0.5	11,752	10/10/2023
3.0.4	4,279	9/14/2023
3.0.3	2,996	9/6/2023
3.0.2	310	9/5/2023
3.0.1	401	8/16/2023
3.0.0	16,947	7/20/2023
2.16.9	446	6/20/2023
2.16.8	19,262	6/1/2023
2.16.7	437	5/19/2023
2.16.5	10,215	4/10/2023
2.16.4	11,155	3/31/2023
2.16.3	5,592	3/9/2023
2.16.2	1,189	2/23/2023
2.16.1	659	2/21/2023
2.16.0	52,449	11/28/2022
2.15.9	16,142	10/25/2022
2.15.8	1,229	9/30/2022
2.15.7	49,086	7/22/2022
2.15.6	17,933	6/16/2022
2.15.5	1,429	6/15/2022
2.15.4	1,599	6/13/2022
2.15.3	1,553	6/10/2022
2.15.2	12,571	5/12/2022
2.15.1	1,774	5/5/2022
2.15.0	10,279	5/2/2022
2.14.0	1,858	4/19/2022
2.13.4	17,344	3/25/2022
2.13.3	1,480	3/23/2022
2.13.2	2,269	3/23/2022
2.13.1	3,198	3/17/2022
2.13.0	3,594	3/9/2022
2.12.1	4,135	2/28/2022
2.11.5	1,592	2/16/2022
2.11.4	10,597	2/4/2022
2.11.3	1,981	2/3/2022
2.11.2	5,933	1/10/2022
2.11.1	5,622	12/15/2021
2.11.0	1,904	12/9/2021
2.10.2	1,084	11/30/2021
2.10.0	1,037	11/30/2021
2.9.6	5,382	10/25/2021
2.9.5	1,236	10/21/2021
2.9.4	1,804	8/24/2021
2.9.3	10,092	8/10/2021
2.9.2	2,478	7/21/2021
2.9.1	1,523	7/5/2021
2.9.0	1,308	6/29/2021
2.8.33	1,457	6/14/2021
2.8.32	1,390	5/4/2021
2.8.31	1,412	4/21/2021
2.8.30	8,981	4/13/2021
2.8.29	1,430	3/29/2021
2.8.28	1,582	3/18/2021
2.8.27	1,564	3/11/2021
2.8.26	4,801	2/2/2021
2.8.25	1,425	2/2/2021
2.8.24	1,492	2/2/2021
2.8.23	1,575	1/22/2021
2.8.22	1,560	1/9/2021
2.8.21	5,897	1/5/2021
2.8.20	1,652	1/1/2021
2.8.18	1,600	12/29/2020
2.8.17	1,571	12/24/2020
2.8.16	1,573	12/23/2020
2.8.15	1,582	12/21/2020
2.8.14	1,740	12/19/2020
2.8.13	1,670	12/19/2020
2.8.12	1,566	12/13/2020
2.8.11	1,592	12/3/2020
2.8.10	1,671	12/2/2020
2.8.9	1,605	12/2/2020
2.8.8	1,591	11/26/2020
2.8.7	1,725	11/11/2020
2.8.6	1,709	11/5/2020
2.8.5	1,734	11/3/2020
2.8.4	1,832	10/30/2020
2.8.3	1,730	10/29/2020
2.8.2	1,739	10/24/2020
2.8.1	1,759	10/22/2020
2.8.0	1,789	10/20/2020
2.7.43	1,776	10/19/2020
2.7.42	1,737	10/15/2020
2.7.41	1,751	10/15/2020
2.7.40	1,773	10/14/2020
2.7.39	1,719	10/12/2020

Boogie.Core 3.0.1

net6.0

NuGet packages (10)

GitHub repositories