{"ecosystem":"pypi","name":"z3-solver","dependents_count":31,"downloads_count":26846,"dependencies_url":"https://docker.ecosyste.ms/api/v1/usage/pypi/z3-solver/dependencies"}