/

trending compare settings

a fast, modern browser for the NuGet registry

built Mar 4, 2026 · v0.2.0

trending compare settings

NuGet is a registered trademark of Microsoft. This site is not affiliated with Microsoft.

inspired by npmx.dev·powered by

Symbolica.Z3 — nugetz

Symbolica/Symbolica.Z3v0.2.0-pullrequest0008-0006-fca3a94

docs d <> code .compare c

.NET Std1.4

Z3 built from an arbitrary commit and packaged for dotnet.

License

Deps

0

Install Size

—

Vulns

✓ 0

Published

Mar 18, 2022

Get Started

$ dotnet add package Symbolica.Z3

Readme

No README available.

Total Downloads

27.1K

Compatibility

.NET Std1.4

Versions

0.1.0Latest

Jun 28, 2021

Links

Project ↗License ↗

Keywords

Symbolica dotnet Z3 smt constraint

Maintainers