Microsoft.PSharp 1.4.6 Prefix Reserved

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

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

The P# language, runtime and testing infrastructure.

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,784 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,314 2/28/2019
1.4.6 456 2/21/2019
1.4.5 538 2/14/2019
1.4.4 670 1/16/2019
1.4.3 685 11/17/2018
1.4.2 594 11/9/2018
1.4.1 559 11/1/2018
1.4.0 1,809 10/16/2018

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