{"package": "machsmt", "summary": "An algorithm selection tool for SMT-LIB solvers", "pypi_url": "https://pypi.org/project/machsmt", "piwheels_url": "https://www.piwheels.org/project/machsmt", "releases": {"1.0": {"released": "2023-04-20 00:22:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"machsmt-1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/machsmt/machsmt-1.0-py3-none-any.whl", "filehash": "da251cf8f246ce6533b1a15a076df4bb4fbe00e0d70dcd201200bfc719a84e51", "filesize": 30727, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": []}}}}}