{"package": "smartalloc", "summary": "Resource allocation using an SMT solver.", "pypi_url": "https://pypi.org/project/smartalloc", "piwheels_url": "https://www.piwheels.org/project/smartalloc", "releases": {"0.0.1": {"released": "2019-03-14 01:49:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"smartalloc-0.0.1-py2.py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/smartalloc/smartalloc-0.0.1-py2.py3-none-any.whl", "filehash": "de4934a0803f5bda233a451b1c63fdb456dc08fcb4745dce9e3e1cfcee2713e1", "filesize": 4557, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}, "0.0.0": {"released": "2019-03-11 02:11:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"smartalloc-0.0.0-py2.py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/smartalloc/smartalloc-0.0.0-py2.py3-none-any.whl", "filehash": "3ddb102e3e28d3d5dcfcf99cb3e9849728d173395f085f1a1890a819bfb6ab32", "filesize": 4494, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["z3-solver"]}}}}}