ZenLib by: msrspock 8,504 total downloads last updated 4/14/2022 Latest version: 2.2.2 zen zenlib modeling constraint solving verification smt solver binary decision More tags A library that simplifies building verification tools in .NET
ZenLib.Generators by: msrspock 238 total downloads last updated 4/26/2022 Latest version: 0.1.3 zen zenlib modeling constraint solving verification smt solver binary decision More tags Automatic generation of Zen field access methods.