Microsoft.Coyote 1.3.0 Prefix Reserved

There is a newer version of this package available.
See the version list below for details.
Install-Package Microsoft.Coyote -Version 1.3.0
dotnet add package Microsoft.Coyote --version 1.3.0
<PackageReference Include="Microsoft.Coyote" Version="1.3.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Microsoft.Coyote --version 1.3.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Microsoft.Coyote, 1.3.0"
#r directive can be used in F# Interactive, C# scripting and .NET Interactive. Copy this into the interactive tool or source code of the script to reference the package.
// Install Microsoft.Coyote as a Cake Addin
#addin nuget:?package=Microsoft.Coyote&version=1.3.0

// Install Microsoft.Coyote as a Cake Tool
#tool nuget:?package=Microsoft.Coyote&version=1.3.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

Coyote is a library for building reliable asynchronous software.

  • .NETFramework 4.6.2

    • No dependencies.
  • .NETStandard 2.0

    • No dependencies.
  • .NETStandard 2.1

    • No dependencies.
  • net5.0

    • No dependencies.

NuGet packages (2)

Showing the top 2 NuGet packages that depend on Microsoft.Coyote:

Package Downloads
PCSharpRuntime

The P Programming Language C# Runtime

Microsoft.Coyote.Test

The Coyote systematic testing library and tools.

GitHub repositories (2)

Showing the top 2 popular GitHub repositories that depend on Microsoft.Coyote:

Repository Stars
p-org/P
The P programming language.
microsoft/sarif-sdk
.NET code and supporting files for working with the 'Static Analysis Results Interchange Format' (SARIF, see https://github.com/oasis-tcs/sarif-spec)
Version Downloads Last updated
1.4.0 0 10/15/2021
1.3.1 673 8/1/2021
1.3.0 316 7/7/2021
1.2.5 284 4/13/2021
1.2.3 683 12/10/2020
1.1.5 5,688 10/14/2020