/

trending compare settings

a fast, modern browser for the NuGet registry

built Mar 5, 2026 · v0.2.0

trending compare settings

NuGet is a registered trademark of Microsoft. This site is not affiliated with Microsoft.

inspired by npmx.dev·powered by

Boogie.ExecutionEngine v3.1.4 — nugetz

pkg

boogie-org/Boogie.ExecutionEnginev3.1.4

docs d<> code .compare c

.NET 8.0

Contains the API for Boogie

License

Deps

13

Install Size

—

Vulns

✓ 0

Published

Dec 10, 2025

Get Started

$ dotnet add package Boogie.ExecutionEngine

Readme

No README available.

Total Downloads

621.1K

Compatibility

.NET 8.0

Versions

3.5.6Latest

Dec 10, 2025

Other versions (117)

3.5.5Aug 7, 2025

3.5.4Jun 26, 2025

3.5.3May 13, 2025

3.5.2Apr 28, 2025

3.5.1Mar 12, 2025

3.4.3Nov 26, 2024

3.4.2Nov 14, 2024

Oct 25, 2024

3.4.0Oct 24, 2024

3.3.3Oct 15, 2024

3.3.2Oct 12, 2024

3.3.1Oct 7, 2024

3.3.0Oct 8, 2024

3.2.5Sep 12, 2024

3.2.4Aug 16, 2024

3.2.3Jul 30, 2024

3.2.2Jul 18, 2024

3.2.0Jul 4, 2024

3.1.6May 23, 2024

3.1.5Apr 23, 2024

3.1.4Apr 11, 2024

3.1.3Mar 13, 2024

3.1.2Mar 7, 2024

3.1.1Mar 5, 2024

3.1.0Mar 4, 2024

3.0.12Feb 19, 2024

3.0.11Feb 2, 2024

3.0.10Jan 22, 2024

3.0.9Dec 8, 2023

3.0.8Nov 29, 2023

3.0.7Nov 21, 2023

3.0.6Nov 16, 2023

3.0.5Oct 10, 2023

3.0.4Sep 14, 2023

3.0.3Sep 6, 2023

3.0.2Sep 5, 2023

3.0.1Aug 16, 2023

3.0.0Jul 20, 2023

2.16.9Jun 20, 2023

2.16.8Jun 1, 2023

2.16.7May 19, 2023

2.16.5Apr 10, 2023

2.16.4Mar 31, 2023

2.16.3Mar 9, 2023

2.16.2Feb 23, 2023

2.16.1Feb 21, 2023

2.16.0Nov 28, 2022

2.15.9Oct 25, 2022

2.15.8Sep 30, 2022

2.15.7Jul 22, 2022

2.15.6Jun 16, 2022

2.15.5Jun 15, 2022

2.15.4Jun 13, 2022

2.15.3Jun 10, 2022

2.15.2May 12, 2022

2.15.1May 5, 2022

2.15.0May 2, 2022

2.14.0Apr 19, 2022

2.13.4Mar 25, 2022

2.13.3Mar 23, 2022

2.13.2Mar 23, 2022

2.13.1Mar 17, 2022

2.13.0Mar 9, 2022

2.12.1Feb 28, 2022

2.11.5Feb 16, 2022

2.11.4Feb 4, 2022

2.11.3Feb 3, 2022

2.11.2Jan 10, 2022

2.11.1Dec 15, 2021

2.11.0Dec 9, 2021

2.10.2Nov 30, 2021

2.10.0Nov 30, 2021

2.9.6Oct 25, 2021

2.9.5Oct 21, 2021

2.9.4Aug 24, 2021

2.9.3Aug 10, 2021

2.9.2Jul 21, 2021

2.9.1Jul 5, 2021

2.9.0Jun 29, 2021

2.8.33Jun 14, 2021

2.8.32May 4, 2021

2.8.31Apr 21, 2021

2.8.30Apr 13, 2021

2.8.29Mar 29, 2021

2.8.28Mar 18, 2021

2.8.27Mar 11, 2021

2.8.26Feb 2, 2021

2.8.25Feb 2, 2021

2.8.24Feb 2, 2021

2.8.23Jan 22, 2021

2.8.22Jan 9, 2021

2.8.21Jan 5, 2021

2.8.20Jan 1, 2021

2.8.18Dec 29, 2020

2.8.17Dec 24, 2020

2.8.16Dec 23, 2020

2.8.15Dec 21, 2020

2.8.14Dec 19, 2020

2.8.13Dec 19, 2020

2.8.12Dec 13, 2020

2.8.11Dec 3, 2020

2.8.10Dec 2, 2020

2.8.9Dec 2, 2020

2.8.8Nov 26, 2020

2.8.7Nov 11, 2020

2.8.6Nov 5, 2020

2.8.5Nov 3, 2020

2.8.4Oct 30, 2020

2.8.3Oct 29, 2020

2.8.2Oct 24, 2020

2.8.1Oct 22, 2020

2.8.0Oct 20, 2020

2.7.43Oct 19, 2020

2.7.42Oct 15, 2020

2.7.41Oct 15, 2020

2.7.40Oct 14, 2020

2.7.39Oct 12, 2020

Links

Keywords

Maintainers