ZenLib by: msrspock 2,112 total downloads last updated 1/5/2021 Latest version: 1.1.5 zen zenlib constraint solving verification smt binary decision diagrams diagram A library that simplifies building verification tools in .NET