msrspock 

A library that simplifies building verification tools in .NET

This library implements various variants of binary decision diagrams. It focuses on high performance, usability, and correctness.

Automatic generation of Zen field access methods.