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

// Install Microsoft.PSharp as a Cake Tool
#tool nuget:?package=Microsoft.PSharp&version=1.6.7
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.

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,783 12/11/2019
1.6.10 452 10/30/2019
1.6.9 2,329 8/30/2019
1.6.8 490 7/30/2019
1.6.7 408 7/18/2019
1.6.6 424 7/11/2019
1.6.5 385 7/3/2019
1.6.4 439 6/17/2019
1.6.3 415 6/12/2019
1.6.2 390 6/11/2019
1.6.1 423 6/4/2019
1.6.0 7,034 5/2/2019
1.5.1 1,031 3/31/2019
1.5.0 1,688 3/22/2019
1.4.7 1,310 2/28/2019
1.4.6 456 2/21/2019
1.4.5 538 2/14/2019
1.4.4 668 1/16/2019
1.4.3 684 11/17/2018
1.4.2 593 11/9/2018
1.4.1 558 11/1/2018
1.4.0 1,809 10/16/2018

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