{"package": "pyomt", "summary": "An Optimization Modulo Theory Solver.", "pypi_url": "https://pypi.org/project/pyomt", "piwheels_url": "https://www.piwheels.org/project/pyomt", "releases": {"0.0.3": {"released": "2025-01-17 13:20:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"pyomt-0.0.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/pyomt/pyomt-0.0.3-py3-none-any.whl", "filehash": "55535cb242b62d823e9fd519cf889eb9ba1042774b4413ad640cf59f0b5e9e15", "filesize": 78087, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.0", "apt_dependencies": [], "pip_dependencies": ["cython", "meson", "psutil", "pysmt", "python-sat", "tqdm", "z3-solver"]}}}, "0.0.1": {"released": "2024-11-21 08:27:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"pyomt-0.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/pyomt/pyomt-0.0.1-py3-none-any.whl", "filehash": "52e439018c85fd21f427f3f4c573fb27a130c87547b505ed05e1b3d388b40cbd", "filesize": 66390, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.0", "apt_dependencies": [], "pip_dependencies": ["cython", "meson", "psutil", "pysmt", "python-sat", "tqdm", "z3-solver"]}}}}}