Top 20 NuGet Packages depending on Microsoft.Z3.x64

Total dependencies: 3

Invalid image

OPTANO Modeling

The OPTANO Modeling library allows you to use C# as a Modeling language for mathematical optimization (mixed integer programming (MIP) and linear programming (LP)). It has a lightweight footprint and connects to several solvers.
Score: 3.8 | 12/10/2020 | v3.22.0.647
Invalid image

ZenLib

A library that simplifies building verification tools in .NET
Score: 2 | 1/5/2021 | v3.1.6
Invalid image

Yolol.Analysis

Package Description
Score: | 1/15/2021 | v8.0.0