Boogie.Provers.SMTLib 2.8.30

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

                    
                

            
NuGet\Install-Package Boogie.Provers.SMTLib -Version 2.8.30
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.30" />
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.30                

                    
                

            
#r "nuget: Boogie.Provers.SMTLib, 2.8.30"
#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.30

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

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 4,771 11/26/2024
3.4.2 2,689 11/14/2024
3.4.1 6,193 10/25/2024
3.4.0 233 10/24/2024
3.3.3 2,652 10/15/2024
3.3.2 168 10/12/2024
3.3.1 170 10/7/2024
3.3.0 145 10/8/2024
3.2.5 12,529 9/12/2024
3.2.4 5,677 8/16/2024
3.2.3 5,721 7/30/2024
3.2.2 2,826 7/18/2024
3.2.0 214 7/4/2024
3.1.6 21,445 5/23/2024
3.1.5 206 4/23/2024
3.1.4 224 4/11/2024
3.1.3 22,138 3/13/2024
3.1.2 998 3/7/2024
3.1.1 1,041 3/5/2024
3.1.0 224 3/4/2024
3.0.12 3,565 2/19/2024
3.0.11 3,605 2/2/2024
3.0.10 4,070 1/22/2024
3.0.9 12,066 12/8/2023
3.0.8 2,393 11/29/2023
3.0.7 1,277 11/21/2023
3.0.6 256 11/16/2023
3.0.5 11,664 10/10/2023
3.0.4 4,220 9/14/2023
3.0.3 2,933 9/6/2023
3.0.2 235 9/5/2023
3.0.1 341 8/16/2023
3.0.0 16,780 7/20/2023
2.16.9 360 6/20/2023
2.16.8 19,099 6/1/2023
2.16.7 308 5/19/2023
2.16.5 10,056 4/10/2023
2.16.4 10,953 3/31/2023
2.16.3 5,335 3/9/2023
2.16.2 951 2/23/2023
2.16.1 436 2/21/2023
2.16.0 52,098 11/28/2022
2.15.9 15,671 10/25/2022
2.15.8 764 9/30/2022
2.15.7 48,589 7/22/2022
2.15.6 17,430 6/16/2022
2.15.5 926 6/15/2022
2.15.4 1,094 6/13/2022
2.15.3 1,068 6/10/2022
2.15.2 12,061 5/12/2022
2.15.1 1,269 5/5/2022
2.15.0 9,679 5/2/2022
2.14.0 1,344 4/19/2022
2.13.4 16,843 3/25/2022
2.13.3 951 3/23/2022
2.13.2 1,767 3/23/2022
2.13.1 2,695 3/17/2022
2.13.0 3,092 3/9/2022
2.12.1 3,618 2/28/2022
2.11.5 881 2/16/2022
2.11.4 9,869 2/4/2022
2.11.3 1,224 2/3/2022
2.11.2 5,229 1/10/2022
2.11.1 5,256 12/15/2021
2.11.0 1,431 12/9/2021
2.10.2 568 11/30/2021
2.10.0 525 11/30/2021
2.9.6 4,755 10/25/2021
2.9.5 597 10/21/2021
2.9.4 1,184 8/24/2021
2.9.3 9,450 8/10/2021
2.9.2 1,856 7/21/2021
2.9.1 929 7/5/2021
2.9.0 692 6/29/2021
2.8.33 708 6/14/2021
2.8.32 657 5/4/2021
2.8.31 678 4/21/2021
2.8.30 8,206 4/13/2021
2.8.29 647 3/29/2021
2.8.28 732 3/18/2021
2.8.27 733 3/11/2021
2.8.26 3,984 2/2/2021
2.8.25 668 2/2/2021
2.8.24 691 2/2/2021
2.8.23 751 1/22/2021
2.8.22 761 1/9/2021
2.8.21 5,037 1/5/2021
2.8.20 830 1/1/2021
2.8.18 765 12/29/2020
2.8.17 746 12/24/2020
2.8.16 742 12/23/2020
2.8.15 780 12/21/2020
2.8.14 875 12/19/2020
2.8.13 825 12/19/2020
2.8.12 793 12/13/2020
2.8.11 742 12/3/2020
2.8.10 793 12/2/2020
2.8.9 787 12/2/2020
2.8.8 756 11/26/2020
2.8.7 800 11/11/2020
2.8.6 797 11/5/2020
2.8.5 818 11/3/2020
2.8.4 868 10/30/2020
2.8.3 804 10/29/2020
2.8.2 834 10/24/2020
2.8.1 808 10/22/2020
2.8.0 906 10/20/2020
2.7.43 885 10/19/2020
2.7.42 810 10/15/2020
2.7.41 827 10/15/2020
2.7.40 827 10/14/2020
2.7.39 782 10/12/2020