Boogie.ExecutionEngine 3.5.6

NuGet\Install-Package Boogie.ExecutionEngine -Version 3.5.6
 
 

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.ExecutionEngine" Version="3.5.6" />
 
 

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

<PackageVersion Include="Boogie.ExecutionEngine" Version="3.5.6" />
 


 Directory.Packages.props
 

 
 

<PackageReference Include="Boogie.ExecutionEngine" />
 


 Project file
 

 
 

For projects that support Central Package Management (CPM), copy this XML node into the solution Directory.Packages.props file to version the package.

paket add Boogie.ExecutionEngine --version 3.5.6
 
 

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

#r "nuget: Boogie.ExecutionEngine, 3.5.6"
 
 

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

#:package Boogie.ExecutionEngine@3.5.6
 
 

#:package directive can be used in C# file-based apps starting in .NET 10 preview 4. Copy this into a .cs file before any lines of code to reference the package.

#addin nuget:?package=Boogie.ExecutionEngine&version=3.5.6
 


 Install as a Cake Addin
 

 
 

#tool nuget:?package=Boogie.ExecutionEngine&version=3.5.6
 


 Install as a Cake Tool
 

 
 

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