Skip to main content
Any Framework

Z3 Prover for linux

Published
Nov 12, 2017
9y ago
Total Downloads
18.9K
18,868

Install

dotnet add package zen_z3_linux --version 4.5.1.5-v1f29cebd4df6

No framework information available.

README

Adoption Assessment

Assess this package against its supported frameworks, license, maintenance signals and dependency graph before making it a project standard.

This version is marked prerelease. Validate its API and upgrade path before production use.No SPDX license expression is published. Review the license text and your organisation's policy before redistribution.No target framework metadata is available. Confirm compatibility in a representative project before standardising on this package.

Related Guides & Workflows

Learn how to evaluate, integrate, or audit this package in your .NET project.