Microsoft.Coyote 1.3.1 Prefix Reserved

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 (1)

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

Repository Stars
p-org/P
The P programming language.
Version Downloads Last updated
1.3.1 426 8/1/2021
1.3.0 292 7/7/2021
1.2.5 271 4/13/2021
1.2.3 667 12/10/2020
1.1.5 5,660 10/14/2020