Boogie.Provers.SMTLib 2.8.25

.NET Core 3.1 This package targets .NET Core 3.1. 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.Provers.SMTLib --version 2.8.25                

                    
                

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

                    
                

            
#r "nuget: Boogie.Provers.SMTLib, 2.8.25"
#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.Provers.SMTLib as a Cake Addin
#addin nuget:?package=Boogie.Provers.SMTLib&version=2.8.25

// Install Boogie.Provers.SMTLib as a Cake Tool
#tool nuget:?package=Boogie.Provers.SMTLib&version=2.8.25

Package Description

Product Compatible and additional computed target framework versions.
.NET net5.0 was computed.  net5.0-windows was computed.  net6.0 was computed.  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. 
.NET Core netcoreapp3.1 is compatible. 
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.Provers.SMTLib:

Package Downloads
Boogie.VCGeneration

Package Description
Boogie.Houdini

Package Description
Boogie.ExecutionEngine

Contains the API for Boogie

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
3.4.3 176 11/26/2024
3.4.2 2,601 11/14/2024
3.4.1 5,097 10/25/2024
3.4.0 228 10/24/2024
3.3.3 2,621 10/15/2024
3.3.2 162 10/12/2024
3.3.1 166 10/7/2024
3.3.0 141 10/8/2024
3.2.5 12,483 9/12/2024
3.2.4 5,673 8/16/2024
3.2.3 5,709 7/30/2024
3.2.2 2,821 7/18/2024
3.2.0 210 7/4/2024
3.1.6 21,437 5/23/2024
3.1.5 204 4/23/2024
3.1.4 220 4/11/2024
3.1.3 22,135 3/13/2024
3.1.2 996 3/7/2024
3.1.1 1,039 3/5/2024
3.1.0 222 3/4/2024
3.0.12 3,563 2/19/2024
3.0.11 3,590 2/2/2024
3.0.10 4,068 1/22/2024
3.0.9 12,015 12/8/2023
3.0.8 2,391 11/29/2023
3.0.7 1,275 11/21/2023
3.0.6 254 11/16/2023
3.0.5 11,662 10/10/2023
3.0.4 4,218 9/14/2023
3.0.3 2,931 9/6/2023
3.0.2 233 9/5/2023
3.0.1 339 8/16/2023
3.0.0 16,778 7/20/2023
2.16.9 358 6/20/2023
2.16.8 19,097 6/1/2023
2.16.7 304 5/19/2023
2.16.5 10,054 4/10/2023
2.16.4 10,951 3/31/2023
2.16.3 5,333 3/9/2023
2.16.2 949 2/23/2023
2.16.1 434 2/21/2023
2.16.0 52,096 11/28/2022
2.15.9 15,669 10/25/2022
2.15.8 762 9/30/2022
2.15.7 48,587 7/22/2022
2.15.6 17,428 6/16/2022
2.15.5 924 6/15/2022
2.15.4 1,092 6/13/2022
2.15.3 1,066 6/10/2022
2.15.2 12,055 5/12/2022
2.15.1 1,267 5/5/2022
2.15.0 9,677 5/2/2022
2.14.0 1,342 4/19/2022
2.13.4 16,841 3/25/2022
2.13.3 949 3/23/2022
2.13.2 1,765 3/23/2022
2.13.1 2,693 3/17/2022
2.13.0 3,090 3/9/2022
2.12.1 3,616 2/28/2022
2.11.5 879 2/16/2022
2.11.4 9,865 2/4/2022
2.11.3 1,222 2/3/2022
2.11.2 5,227 1/10/2022
2.11.1 5,254 12/15/2021
2.11.0 1,429 12/9/2021
2.10.2 566 11/30/2021
2.10.0 523 11/30/2021
2.9.6 4,753 10/25/2021
2.9.5 595 10/21/2021
2.9.4 1,182 8/24/2021
2.9.3 9,448 8/10/2021
2.9.2 1,854 7/21/2021
2.9.1 922 7/5/2021
2.9.0 690 6/29/2021
2.8.33 706 6/14/2021
2.8.32 655 5/4/2021
2.8.31 676 4/21/2021
2.8.30 8,204 4/13/2021
2.8.29 645 3/29/2021
2.8.28 730 3/18/2021
2.8.27 731 3/11/2021
2.8.26 3,982 2/2/2021
2.8.25 666 2/2/2021
2.8.24 689 2/2/2021
2.8.23 749 1/22/2021
2.8.22 759 1/9/2021
2.8.21 5,032 1/5/2021
2.8.20 828 1/1/2021
2.8.18 763 12/29/2020
2.8.17 744 12/24/2020
2.8.16 740 12/23/2020
2.8.15 778 12/21/2020
2.8.14 873 12/19/2020
2.8.13 823 12/19/2020
2.8.12 791 12/13/2020
2.8.11 740 12/3/2020
2.8.10 791 12/2/2020
2.8.9 785 12/2/2020
2.8.8 754 11/26/2020
2.8.7 798 11/11/2020
2.8.6 795 11/5/2020
2.8.5 816 11/3/2020
2.8.4 866 10/30/2020
2.8.3 802 10/29/2020
2.8.2 832 10/24/2020
2.8.1 806 10/22/2020
2.8.0 904 10/20/2020
2.7.43 883 10/19/2020
2.7.42 808 10/15/2020
2.7.41 825 10/15/2020
2.7.40 825 10/14/2020
2.7.39 780 10/12/2020