Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
nuget.org "smt" keyword
microsoft.z3.x86 4.12.2
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: l...11 versions - Latest release: about 1 year ago - 66.3 thousand downloads total - 9,861 stars on GitHub - 2 maintainers
z3-20190104 4.8.4
Z3 is a satisfiability modulo theories solver from Microsoft Research.1 version - Latest release: over 5 years ago - 1.39 thousand downloads total - 9,861 stars on GitHub - 1 maintainer
Top 2.5% on nuget.org
8 versions - Latest release: over 124 years ago - 4 dependent packages - 23 dependent repositories
microsoft.z3.x64 4.8.10
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: l...8 versions - Latest release: over 124 years ago - 4 dependent packages - 23 dependent repositories
zenlib.generators 0.1.3
Automatic generation of Zen field access methods.4 versions - Latest release: about 2 years ago - 2.07 thousand downloads total - 76 stars on GitHub - 1 maintainer
symbolica.z3 0.1.0
Z3 built from an arbitrary commit and packaged for dotnet.18 versions - Latest release: almost 3 years ago - 1 dependent package - 14.1 thousand downloads total - 0 stars on GitHub - 1 maintainer
vuisis.microsoft.z3 4.8.11
Z3 is a satisfiability modulo theories solver from Microsoft Research.1 version - Latest release: over 124 years ago
vsteam.z3 4.11.2-alpha
Microsoft Z3 SMT solver, which supports .NET 6.0 bindings for Apple M1 chips1 version - Latest release: 8 months ago
vsteam.z3.m1 4.8.11-alpha
Microsoft Z3 SMT solver rebuilt with .NET 6.0 bindings for Apple M1 chips. NB: only macOS binarie...1 version - Latest release: over 124 years ago
zenlib 3.1.6
A library that simplifies building verification tools in .NET63 versions - Latest release: 8 months ago - 26.4 thousand downloads total - 76 stars on GitHub - 1 maintainer
microsoft.z3 4.12.2
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: l...14 versions - Latest release: about 1 year ago - 5 dependent packages - 168 thousand downloads total - 9,792 stars on GitHub - 2 maintainers