{"package": "yowasp-boolector", "summary": "boolector Satisfiability Modulo Theories (SMT) solver", "pypi_url": "https://pypi.org/project/yowasp-boolector", "piwheels_url": "https://www.piwheels.org/project/yowasp-boolector", "releases": {"3.2.3.6.post31.dev0": {"released": "2026-03-11 08:53:03", "prerelease": true, "yanked": false, "skip_reason": "binary only", "files": {}}, "3.2.3.6.post25.dev0": {"released": "2024-03-14 06:03:02", "prerelease": true, "yanked": false, "skip_reason": "binary only", "files": {}}, "3.2.3.4.post23.dev0": {"released": "2024-01-20 05:38:41", "prerelease": true, "yanked": false, "skip_reason": "binary only", "files": {}}, "3.2.3.4.post18.dev0": {"released": "2024-01-20 04:09:35", "prerelease": true, "yanked": false, "skip_reason": "binary only", "files": {}}}}