GitHub repository: microsoft/DecisionDiagrams
Primary language: C#
Created: 2020-04-25T18:23:40Z
Description: A performant and ergonomic implementation of binary decision diagrams for .NET