Microsoft.PSharp 1.6.1 The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org. Prefix Reserved

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

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

P# is a framework for rapid development of reliable asynchronous software.

There are no supported framework assets in this package.

Learn more about Target Frameworks and .NET Standard.

This package has 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,792 12/11/2019
1.6.10 455 10/30/2019
1.6.9 2,334 8/30/2019
1.6.8 493 7/30/2019
1.6.7 411 7/18/2019
1.6.6 428 7/11/2019
1.6.5 390 7/3/2019
1.6.4 442 6/17/2019
1.6.3 420 6/12/2019
1.6.2 393 6/11/2019
1.6.1 424 6/4/2019
1.6.0 7,037 5/2/2019
1.5.1 1,034 3/31/2019
1.5.0 1,691 3/22/2019
1.4.7 1,317 2/28/2019
1.4.6 459 2/21/2019
1.4.5 542 2/14/2019
1.4.4 671 1/16/2019
1.4.3 686 11/17/2018
1.4.2 596 11/9/2018
1.4.1 561 11/1/2018
1.4.0 1,811 10/16/2018

This release contains the 1.6.1 version of the P# framework.