{"ecosystem":"maven","name":"z3:z3","dependents_count":14,"downloads_count":40222,"dependencies_url":"https://docker.ecosyste.ms/api/v1/usage/maven/z3:z3/dependencies"}