A performant and ergonomic implementation of binary decision diagrams for .NET - View it on GitHub