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

// Install Microsoft.PSharp as a Cake Tool
#tool nuget:?package=Microsoft.PSharp&version=1.6.10
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,784 12/11/2019
1.6.10 452 10/30/2019
1.6.9 2,329 8/30/2019
1.6.8 491 7/30/2019
1.6.7 408 7/18/2019
1.6.6 426 7/11/2019
1.6.5 387 7/3/2019
1.6.4 439 6/17/2019
1.6.3 417 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,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 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