UCLouvain.BDDSharp 0.1.6

BDDSharp is a C# library for manipulating roBDDs (Reduced Ordered Binary Decision Diagrams).

Install-Package UCLouvain.BDDSharp -Version 0.1.6

dotnet add package UCLouvain.BDDSharp --version 0.1.6

<PackageReference Include="UCLouvain.BDDSharp" Version="0.1.6" />

For projects that support PackageReference, copy this XML node into the project file to reference the package.

paket add UCLouvain.BDDSharp --version 0.1.6

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

#r "nuget: UCLouvain.BDDSharp, 0.1.6"

For F# scripts that support #r syntax, copy this into the source code to reference the package.

Dependencies

This package is not used by any NuGet packages.

This package is not used by any popular GitHub repositories.