ZenLib 3.1.2
dotnet add package ZenLib --version 3.1.2
NuGet\Install-Package ZenLib -Version 3.1.2
<PackageReference Include="ZenLib" Version="3.1.2" />
paket add ZenLib --version 3.1.2
#r "nuget: ZenLib, 3.1.2"
// Install ZenLib as a Cake Addin
#addin nuget:?package=ZenLib&version=3.1.2
// Install ZenLib as a Cake Tool
#tool nuget:?package=ZenLib&version=3.1.2
Zen is a constraint solving library for .NET. Zen makes it easy to express high-level symbolic computations directly in .NET. It translates these symbolic expressions to low-level constraint solvers and then back to .NET objects. The Zen library comes equipped with a number of built-in tools for processing symbolic models, including a compiler (to .NET IL), an exhaustive model checker, and a test input generator. It supports multiple backends including one based on the Z3 SMT solver and another based on Binary Decision Diagrams (BDDs).
Product | Versions Compatible and additional computed target framework versions. |
---|---|
.NET | net5.0 was computed. net5.0-windows was computed. net6.0 was computed. net6.0-android was computed. net6.0-ios was computed. net6.0-maccatalyst was computed. net6.0-macos was computed. net6.0-tvos was computed. net6.0-windows was computed. net7.0 was computed. net7.0-android was computed. net7.0-ios was computed. net7.0-maccatalyst was computed. net7.0-macos was computed. net7.0-tvos was computed. net7.0-windows was computed. |
.NET Core | netcoreapp3.0 was computed. netcoreapp3.1 was computed. |
.NET Standard | netstandard2.1 is compatible. |
MonoAndroid | monoandroid was computed. |
MonoMac | monomac was computed. |
MonoTouch | monotouch was computed. |
Tizen | tizen60 was computed. |
Xamarin.iOS | xamarinios was computed. |
Xamarin.Mac | xamarinmac was computed. |
Xamarin.TVOS | xamarintvos was computed. |
Xamarin.WatchOS | xamarinwatchos was computed. |
-
.NETStandard 2.1
- DecisionDiagrams (>= 1.2.0)
- Microsoft.CSharp (>= 4.7.0)
- Microsoft.Z3 (>= 4.11.0)
- System.Collections.Immutable (>= 6.0.0)
- System.Dynamic.Runtime (>= 4.3.0)
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 |
---|---|---|
3.1.2 | 190 | 2/28/2023 |
3.1.1 | 425 | 9/22/2022 |
3.1.0 | 356 | 9/8/2022 |
3.0.0 | 329 | 8/25/2022 |
2.3.0 | 349 | 8/12/2022 |
2.2.9 | 321 | 8/12/2022 |
2.2.8 | 349 | 8/11/2022 |
2.2.7 | 364 | 8/8/2022 |
2.2.6 | 331 | 8/4/2022 |
2.2.5 | 358 | 7/27/2022 |
2.2.4 | 381 | 5/31/2022 |
2.2.3 | 364 | 5/20/2022 |
2.2.2 | 423 | 4/14/2022 |
2.2.1 | 385 | 4/8/2022 |
2.2.0 | 379 | 4/7/2022 |
2.1.9 | 388 | 3/24/2022 |
2.1.8 | 368 | 3/10/2022 |
2.1.7 | 372 | 3/5/2022 |
2.1.6 | 365 | 3/3/2022 |
2.1.5 | 370 | 3/2/2022 |
2.1.4 | 379 | 2/23/2022 |
2.1.3 | 371 | 2/18/2022 |
2.1.2 | 373 | 2/14/2022 |
2.1.1 | 365 | 2/14/2022 |
2.1.0 | 378 | 2/11/2022 |
2.0.0 | 376 | 2/9/2022 |
1.3.2 | 392 | 1/30/2022 |
1.3.1 | 242 | 1/5/2022 |
1.3.0 | 310 | 11/9/2021 |
1.2.9 | 299 | 10/28/2021 |
1.2.8 | 318 | 10/19/2021 |
1.2.7 | 266 | 10/18/2021 |
1.2.6 | 417 | 10/17/2021 |
1.2.5 | 267 | 10/16/2021 |
1.2.4 | 276 | 10/15/2021 |
1.2.3 | 289 | 10/11/2021 |
1.2.2 | 303 | 10/8/2021 |
1.2.1 | 261 | 10/6/2021 |
1.2.0 | 249 | 10/5/2021 |
1.1.9 | 289 | 8/31/2021 |
1.1.8 | 273 | 7/21/2021 |
1.1.7 | 291 | 7/15/2021 |
1.1.6 | 309 | 6/3/2021 |
1.1.5 | 536 | 1/5/2021 |
1.1.4 | 414 | 12/16/2020 |
1.1.3 | 336 | 10/13/2020 |
1.1.2 | 367 | 10/7/2020 |
1.1.1 | 420 | 10/2/2020 |
1.1.0 | 367 | 9/29/2020 |
1.0.9 | 366 | 9/25/2020 |
1.0.8 | 398 | 9/23/2020 |
1.0.7 | 446 | 9/17/2020 |
1.0.6 | 452 | 9/17/2020 |
1.0.5 | 795 | 7/15/2020 |
1.0.4 | 477 | 6/14/2020 |
1.0.3 | 488 | 6/6/2020 |
1.0.2 | 402 | 5/6/2020 |
1.0.1 | 417 | 5/6/2020 |
1.0.0 | 435 | 5/6/2020 |