BDDSharp is a C# library for manipulating roBDDs (Reduced Ordered Binary Decision Diagrams).
Info
| Version: | 0.1.6 |
| Author(s): | Antoine Cailliau |
| Last Update: | Sunday, January 13, 2019 |
| .NET Fiddle: | Create the first Fiddle |
| Project Url: | https://github.com/ancailliau/BDDSharp |
| NuGet Url: | https://www.nuget.org/packages/UCLouvain.BDDSharp |
Install
Install-Package UCLouvain.BDDSharp
dotnet add package UCLouvain.BDDSharp
paket add UCLouvain.BDDSharp
UCLouvain.BDDSharp Download (Unzip the "nupkg" after downloading)
Dependencies
Tags
