Microsoft.Coyote 1.3.1 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.1
dotnet add package Microsoft.Coyote --version 1.3.1
<PackageReference Include="Microsoft.Coyote" Version="1.3.1" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Microsoft.Coyote --version 1.3.1
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Microsoft.Coyote, 1.3.1"
#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.1

// Install Microsoft.Coyote as a Cake Tool
#tool nuget:?package=Microsoft.Coyote&version=1.3.1
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.1 170 10/20/2021
1.4.0 149 10/15/2021
1.3.1 762 8/1/2021
1.3.0 319 7/7/2021
1.2.5 287 4/13/2021
1.2.3 684 12/10/2020
1.1.5 5,689 10/14/2020