Boogie.Provers.SMTLib 2.8.13

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

                    
                

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

                    
                

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

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

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 5,880 11/26/2024
3.4.2 2,689 11/14/2024
3.4.1 6,391 10/25/2024
3.4.0 233 10/24/2024
3.3.3 2,664 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,725 7/30/2024
3.2.2 2,828 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 226 4/11/2024
3.1.3 22,140 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,627 2/2/2024
3.0.10 4,070 1/22/2024
3.0.9 12,081 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,858 7/21/2021
2.9.1 930 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 758 11/26/2020
2.8.7 802 11/11/2020
2.8.6 799 11/5/2020
2.8.5 820 11/3/2020
2.8.4 870 10/30/2020
2.8.3 806 10/29/2020
2.8.2 836 10/24/2020
2.8.1 810 10/22/2020
2.8.0 908 10/20/2020
2.7.43 887 10/19/2020
2.7.42 812 10/15/2020
2.7.41 829 10/15/2020
2.7.40 829 10/14/2020
2.7.39 784 10/12/2020