{"id":8373716,"name":"z3","ecosystem":"pub","description":"High-level bindings to the Z3 SMT solver.","homepage":null,"licenses":null,"normalized_licenses":[],"repository_url":"https://github.com/pingbird/dz3","keywords_array":[],"namespace":null,"versions_count":1,"first_release_published_at":"2023-10-03T15:46:53.535Z","latest_release_published_at":"2023-10-03T15:46:53.535Z","latest_release_number":"0.1.0","last_synced_at":"2026-03-08T05:32:49.508Z","created_at":"2023-10-03T16:06:00.131Z","updated_at":"2026-03-08T05:32:49.509Z","registry_url":"https://pub.dev/packages/z3","install_command":"dart pub add z3","documentation_url":"https://pub.dev/documentation/z3/","metadata":{},"repo_metadata":{},"repo_metadata_updated_at":"2026-03-08T05:32:49.330Z","dependent_packages_count":0,"downloads":null,"downloads_period":null,"dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":51.60348583877996,"dependent_packages_count":17.456826150395262,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":34.53015599458761},"purl":"pkg:pub/z3","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/pub/z3","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/pub/z3","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/pub/z3/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/pub.dev/packages/z3/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/pub.dev/packages/z3/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pub.dev/packages/z3/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pub.dev/packages/z3/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/pub.dev/packages/z3/codemeta","maintainers":[]}