Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

nuget.org : vsteam.z3

Microsoft Z3 SMT solver, which supports .NET 6.0 bindings for Apple M1 chips

Registry - JSON
purl: pkg:nuget/vsteam.z3
Keywords: smt, constraint, solver, theorem, prover, macos, m1
License: MIT
Latest release: 8 months ago
First release: 8 months ago
Last synced: 11 days ago

Readme