{"ecosystem":"npm","name":"z3-solver","dependents_count":6,"downloads_count":589,"dependencies_url":"https://docker.ecosyste.ms/api/v1/usage/npm/z3-solver/dependencies"}