Microsoft.PSharp 1.7.0 Prefix Reserved

Suggested Alternatives

Microsoft.Coyote

Additional Details

P# has evolved into Coyote. Please use the Microsoft.Coyote NuGet package for new projects. https://microsoft.github.io/coyote/

Install-Package Microsoft.PSharp -Version 1.7.0
dotnet add package Microsoft.PSharp --version 1.7.0
<PackageReference Include="Microsoft.PSharp" Version="1.7.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Microsoft.PSharp --version 1.7.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Microsoft.PSharp, 1.7.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.PSharp as a Cake Addin
#addin nuget:?package=Microsoft.PSharp&version=1.7.0

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

P# is a framework for building reliable asynchronous software.

  • .NETCoreApp 2.1

    • No dependencies.
  • .NETFramework 4.6

    • No dependencies.
  • .NETStandard 2.0

    • No dependencies.

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories (1)

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

Repository Stars
p-org/PSharp
A framework for rapid development of reliable asynchronous software.
Version Downloads Last updated
1.7.0 1,706 12/11/2019
1.6.10 420 10/30/2019
1.6.9 2,309 8/30/2019
1.6.8 473 7/30/2019
1.6.7 397 7/18/2019
1.6.6 386 7/11/2019
1.6.5 379 7/3/2019
1.6.4 431 6/17/2019
1.6.3 406 6/12/2019
1.6.2 381 6/11/2019
1.6.1 417 6/4/2019
1.6.0 7,028 5/2/2019
1.5.1 993 3/31/2019
1.5.0 1,676 3/22/2019
1.4.7 1,292 2/28/2019
1.4.6 450 2/21/2019
1.4.5 529 2/14/2019
1.4.4 660 1/16/2019
1.4.3 673 11/17/2018
1.4.2 580 11/9/2018
1.4.1 548 11/1/2018
1.4.0 1,796 10/16/2018