{"package": "cvc4-solver", "summary": "an efficient SMT solver library", "pypi_url": "https://pypi.org/project/cvc4-solver", "piwheels_url": "https://www.piwheels.org/project/cvc4-solver", "releases": {"1.6": {"released": "2019-01-27 00:33:41", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}}}