DecisionDiagrams 1.0.5

This library implements various variants of binary decision diagrams. It focuses on high performance, usability, and correctness.

Install-Package DecisionDiagrams -Version 1.0.5
dotnet add package DecisionDiagrams --version 1.0.5
<PackageReference Include="DecisionDiagrams" Version="1.0.5" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add DecisionDiagrams --version 1.0.5
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

This project is an implementation for various variants of binary decision diagrams that is used at Microsoft Research. It focuses on high performance, usability, and correctness. The library currently maintains 100% code coverage.

This project is an implementation for various variants of binary decision diagrams that is used at Microsoft Research. It focuses on high performance, usability, and correctness. The library currently maintains 100% code coverage.

  • .NETStandard 2.0

    • No dependencies.

NuGet packages (1)

Showing the top 1 NuGet packages that depend on DecisionDiagrams:

Package Downloads
ZenLib
A library that simplifies building verification tools in .NET

GitHub repositories

This package is not used by any popular GitHub repositories.

Version History

Version Downloads Last updated
1.0.5 251 9/25/2020
1.0.4 651 6/19/2020
1.0.3 267 6/6/2020
1.0.2 281 5/3/2020
1.0.1 128 5/1/2020