{"package": "z3gi", "summary": "Grammatical inference using the Z3 SMT solver", "pypi_url": "https://pypi.org/project/z3gi", "piwheels_url": "https://www.piwheels.org/project/z3gi", "releases": {"0.1.1": {"released": "2017-04-11 11:14:48", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}}}