Ecosyste.ms: Packages

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

juliahub.com : z3_jll

Registry - Source - Documentation - JSON
purl: pkg:julia/z3_jll
License: MIT
Latest release: 2 months ago
First release: over 1 year ago
Dependent packages: 1
Stars: 1 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 12 hours ago

Z3 0.4.4

Julia interface to Z3
10 versions - Latest release: 2 months ago - 1 dependent package - 51 stars on GitHub