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.
- No dependencies.
This package is not used by any popular GitHub repositories.