ZenLib 1.3.0

Install-Package ZenLib -Version 1.3.0
dotnet add package ZenLib --version 1.3.0
<PackageReference Include="ZenLib" Version="1.3.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add ZenLib --version 1.3.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: ZenLib, 1.3.0"
#r directive can be used in F# Interactive, C# scripting and .NET Interactive. Copy this into the interactive tool or source code of the script to reference the package.
// Install ZenLib as a Cake Addin
#addin nuget:?package=ZenLib&version=1.3.0

// Install ZenLib as a Cake Tool
#tool nuget:?package=ZenLib&version=1.3.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

Zen is a research library that provides high-level abstractions in C# to make it easier to leverage high-performance constraint solvers such as Z3. Zen automates translations and optimizations to low-level constraint solvers and then automates their translation back to C# objects. It makes it easier to construct complex encodings and and manipulate complex symbolic objects. The Zen library comes equipped with a number of built-in tools for processing constraints and models, including a compiler, model checker, and test input generator. It supports multiple backends including one based on Z3 and another based on Binary Decision Diagrams (BDDs).

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
1.3.0 115 11/9/2021
1.2.9 109 10/28/2021
1.2.8 153 10/19/2021
1.2.7 88 10/18/2021
1.2.6 248 10/17/2021
1.2.5 88 10/16/2021
1.2.4 110 10/15/2021
1.2.3 126 10/11/2021
1.2.2 146 10/8/2021
1.2.1 93 10/6/2021
1.2.0 81 10/5/2021
1.1.9 108 8/31/2021
1.1.8 95 7/21/2021
1.1.7 116 7/15/2021
1.1.6 142 6/3/2021
1.1.5 314 1/5/2021
1.1.4 204 12/16/2020
1.1.3 152 10/13/2020
1.1.2 186 10/7/2020
1.1.1 240 10/2/2020
1.1.0 183 9/29/2020
1.0.9 186 9/25/2020
1.0.8 206 9/23/2020
1.0.7 250 9/17/2020
1.0.6 265 9/17/2020
1.0.5 602 7/15/2020
1.0.4 310 6/14/2020
1.0.3 307 6/6/2020
1.0.2 214 5/6/2020
1.0.1 224 5/6/2020
1.0.0 225 5/6/2020