ZenLib.Generators (nuget): Automatic generation of Zen field access methods.
Keywords: zen|zenlib|modeling|constraint|solving|verification|smt|solver|binary|decision|diagrams|diagram