Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
nuget.org "prover" keyword
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: 7 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
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
sylph 0.2.5
F# language-integrated proof assistant.6 versions - Latest release: about 4 years ago - 1 dependent package - 3.15 thousand downloads total - 1 maintainer
z3-20190104 4.8.4
Z3 is a satisfiability modulo theories solver from Microsoft Research.1 version - Latest release: over 5 years ago - 1.37 thousand downloads total - 9,735 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
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 - 65.8 thousand downloads total - 9,727 stars on GitHub - 2 maintainers
nymph 0.1.0-alpha
Nymph is a natural language theorem prover that uses natural language to state and write proofs o...1 version - Latest release: almost 4 years ago
Related Keywords