ZenLib (nuget): A library that simplifies building verification tools in .NET
Keywords: zen|zenlib|modeling|constraint|solving|verification|smt|solver|binary|decision|diagrams|diagram