{"package": "upsmtengine", "summary": "Engine for unified-planning, implementing a SMT solver.", "pypi_url": "https://pypi.org/project/upsmtengine", "piwheels_url": "https://www.piwheels.org/project/upsmtengine", "releases": {"2023.6.27.5": {"released": "2023-06-26 23:48:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"upSmtEngine-2023.6.27.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/upsmtengine/upSmtEngine-2023.6.27.5-py3-none-any.whl", "filehash": "143018e5d6a83d77f6157573ad115520c02ea6af4e60d8869457fd664cee83ee", "filesize": 43468, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7", "apt_dependencies": [], "pip_dependencies": ["unified-planning", "z3-solver"]}}}, "2023.6.26.2": {"released": "2023-06-26 23:09:51", "prerelease": false, "yanked": true, "skip_reason": "", "files": {"upSmtEngine-2023.6.26.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/upsmtengine/upSmtEngine-2023.6.26.2-py3-none-any.whl", "filehash": "6262cdeb200a2abf7e971c5389192e27b77685c0ba7200620d46b84ae202dc06", "filesize": 43492, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["black", "pre-commit", "unified-planning", "z3"]}}}, "2023.6.26": {"released": "2023-06-26 22:58:10", "prerelease": false, "yanked": true, "skip_reason": "", "files": {"upSmtEngine-2023.6.26-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/upsmtengine/upSmtEngine-2023.6.26-py3-none-any.whl", "filehash": "04c85ad46f2c118542e447979996aacadc45bb1950f42e12ad6dda936758b887", "filesize": 43469, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["black", "pre-commit", "unified-planning", "z3"]}}}, "1.0.0": {"released": "2023-06-26 22:17:57", "prerelease": false, "yanked": true, "skip_reason": "binary only", "files": {}}}}