{"url":"https://pypi.sbomify.com/package/python-sat/1.9.dev21","markdown_url":"https://pypi.sbomify.com/package/python-sat/1.9.dev21.md","name":"python-sat","version":"1.9.dev21","purl":"pkg:pypi/python-sat@1.9.dev21","summary":"A Python library for prototyping with SAT oracles","author":"Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado","project_urls":{"Homepage":"https://github.com/pysathq/pysat"},"requires_python":null,"license":"MIT","classifiers":[],"wheels":[{"filename":"python_sat-1.9.dev21-cp310-cp310-musllinux_1_2_aarch64.whl","url":"https://files.pythonhosted.org/packages/20/05/65c5e796076915648cd1f254aff965831f534e67bce97480f74904e286c3/python_sat-1.9.dev21-cp310-cp310-musllinux_1_2_aarch64.whl","sboms":[{"artifact_uuid":"0b684295-2a9c-5c71-a3a2-834a4c8f2671","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/0b684295-2a9c-5c71-a3a2-834a4c8f2671/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp310-cp310-musllinux_1_2_x86_64.whl","url":"https://files.pythonhosted.org/packages/d1/ce/369b280244dc3091a2a018b5b03dd8229c4f181824372328d14bf88dbe72/python_sat-1.9.dev21-cp310-cp310-musllinux_1_2_x86_64.whl","sboms":[{"artifact_uuid":"fa94bafc-1169-57e8-a80b-b6b5662b7f86","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/fa94bafc-1169-57e8-a80b-b6b5662b7f86/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp311-cp311-musllinux_1_2_aarch64.whl","url":"https://files.pythonhosted.org/packages/03/7e/aa76f7258c3772efcf89f646d33898b21b7eb977b1893db01abb571582c4/python_sat-1.9.dev21-cp311-cp311-musllinux_1_2_aarch64.whl","sboms":[{"artifact_uuid":"00dc5431-2a9a-5fbf-a2c5-00c7fd14ed11","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/00dc5431-2a9a-5fbf-a2c5-00c7fd14ed11/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp311-cp311-musllinux_1_2_x86_64.whl","url":"https://files.pythonhosted.org/packages/4c/b1/c5fa82c1f9d2d5f4ebc9166842588d4e42022c944ee0dc825eddf2ab572b/python_sat-1.9.dev21-cp311-cp311-musllinux_1_2_x86_64.whl","sboms":[{"artifact_uuid":"674d908c-96be-511d-b695-03295e6533ad","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/674d908c-96be-511d-b695-03295e6533ad/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp312-cp312-musllinux_1_2_aarch64.whl","url":"https://files.pythonhosted.org/packages/82/6c/a050dc89765d33769d86f5224e29d244d2099c3299a908df953d39e389f8/python_sat-1.9.dev21-cp312-cp312-musllinux_1_2_aarch64.whl","sboms":[{"artifact_uuid":"72626464-e614-530e-9d3f-f4bcc916f1e8","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/72626464-e614-530e-9d3f-f4bcc916f1e8/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp312-cp312-musllinux_1_2_x86_64.whl","url":"https://files.pythonhosted.org/packages/d1/c8/9a08d2a8f3188f9be1a2f78a823b276412ae62db92ef4cd5bc79a24fced3/python_sat-1.9.dev21-cp312-cp312-musllinux_1_2_x86_64.whl","sboms":[{"artifact_uuid":"539aa32b-7170-536d-8052-0d09c0e9149a","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/539aa32b-7170-536d-8052-0d09c0e9149a/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp313-cp313-musllinux_1_2_aarch64.whl","url":"https://files.pythonhosted.org/packages/31/bc/fd18543ab625450ab6851f7dd9186e1a06e2c30d207f6c6e867d0ed45607/python_sat-1.9.dev21-cp313-cp313-musllinux_1_2_aarch64.whl","sboms":[{"artifact_uuid":"0c8ba97b-1538-52d8-9454-6ed45e4f5ceb","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/0c8ba97b-1538-52d8-9454-6ed45e4f5ceb/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp313-cp313-musllinux_1_2_x86_64.whl","url":"https://files.pythonhosted.org/packages/ca/6e/7af557aad6ce1f3c5c5d0c5044a952463b7366af12f4714908af9e69a272/python_sat-1.9.dev21-cp313-cp313-musllinux_1_2_x86_64.whl","sboms":[{"artifact_uuid":"6d34d3a9-4087-5aec-88d8-e89f328e75a6","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/6d34d3a9-4087-5aec-88d8-e89f328e75a6/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp314-cp314-musllinux_1_2_aarch64.whl","url":"https://files.pythonhosted.org/packages/8c/75/3c23f7df91a811e73e0720a365002df4770ec0598952163acd833b612fbd/python_sat-1.9.dev21-cp314-cp314-musllinux_1_2_aarch64.whl","sboms":[{"artifact_uuid":"ab4ca935-248e-50a5-9498-9ee1d91749d7","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/ab4ca935-248e-50a5-9498-9ee1d91749d7/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp314-cp314-musllinux_1_2_x86_64.whl","url":"https://files.pythonhosted.org/packages/de/1c/e14e5c0a3f707e684232360fde1356c315dedc1ded16a3985e8e009bd122/python_sat-1.9.dev21-cp314-cp314-musllinux_1_2_x86_64.whl","sboms":[{"artifact_uuid":"da904fe8-7904-5e88-b268-be1d1b32edf5","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/da904fe8-7904-5e88-b268-be1d1b32edf5/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp314-cp314t-musllinux_1_2_aarch64.whl","url":"https://files.pythonhosted.org/packages/e3/30/6ceb85cd3b592a92d938b2bc0a94b2ece7a3e8380b8467cd4fb3739d5b15/python_sat-1.9.dev21-cp314-cp314t-musllinux_1_2_aarch64.whl","sboms":[{"artifact_uuid":"d381222d-2609-51f5-9db5-69b0967f1068","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/d381222d-2609-51f5-9db5-69b0967f1068/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp314-cp314t-musllinux_1_2_x86_64.whl","url":"https://files.pythonhosted.org/packages/09/d6/017547976e0f8c57294f46c1b4ad9a48d776180af17c3954523a7b07477b/python_sat-1.9.dev21-cp314-cp314t-musllinux_1_2_x86_64.whl","sboms":[{"artifact_uuid":"7bcd7fd2-f855-57d5-8968-e06cba905c50","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/7bcd7fd2-f855-57d5-8968-e06cba905c50/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp315-cp315-musllinux_1_2_aarch64.whl","url":"https://files.pythonhosted.org/packages/31/2a/7931a437c8eae07c18a204373955e8668b4b98ca2c76b3ad5d2d211c3ca0/python_sat-1.9.dev21-cp315-cp315-musllinux_1_2_aarch64.whl","sboms":[{"artifact_uuid":"0cf9fb39-4c0f-516e-a25a-5a3f4b909464","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/0cf9fb39-4c0f-516e-a25a-5a3f4b909464/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp315-cp315-musllinux_1_2_x86_64.whl","url":"https://files.pythonhosted.org/packages/4b/8f/da53f71d23c13ffbc6a78f71e4dc612da6e847a3521336545a619fcae2f1/python_sat-1.9.dev21-cp315-cp315-musllinux_1_2_x86_64.whl","sboms":[{"artifact_uuid":"3944c270-a491-5aba-bd47-0430170dfc31","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/3944c270-a491-5aba-bd47-0430170dfc31/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp315-cp315t-musllinux_1_2_aarch64.whl","url":"https://files.pythonhosted.org/packages/3b/f7/2c96f4cd895f9e00aa8f94fe717dce76da0b322602c8b46d911fdf8238fc/python_sat-1.9.dev21-cp315-cp315t-musllinux_1_2_aarch64.whl","sboms":[{"artifact_uuid":"256502e9-15c1-5fd0-b09f-c09ae43658ea","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/256502e9-15c1-5fd0-b09f-c09ae43658ea/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp315-cp315t-musllinux_1_2_x86_64.whl","url":"https://files.pythonhosted.org/packages/fc/16/0d516273ede7e527893b71a0c326b3b5e81b5939f74b8247609fe794520d/python_sat-1.9.dev21-cp315-cp315t-musllinux_1_2_x86_64.whl","sboms":[{"artifact_uuid":"ba4c0e2c-86d0-581b-91ba-41f405bb7c18","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/ba4c0e2c-86d0-581b-91ba-41f405bb7c18/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp39-cp39-musllinux_1_2_aarch64.whl","url":"https://files.pythonhosted.org/packages/46/82/d95e093f02a85da86b46aaf0beaa713ebdb55743384a70707514d921135d/python_sat-1.9.dev21-cp39-cp39-musllinux_1_2_aarch64.whl","sboms":[{"artifact_uuid":"9b7e2cdd-1c50-54af-844a-5f4cc55c65e6","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/9b7e2cdd-1c50-54af-844a-5f4cc55c65e6/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}},{"filename":"python_sat-1.9.dev21-cp39-cp39-musllinux_1_2_x86_64.whl","url":"https://files.pythonhosted.org/packages/e5/7d/cd48f2bb5bb5397daeecb8c8748264eaa1cc7b0dcc03ac4d486c5b7fe19e/python_sat-1.9.dev21-cp39-cp39-musllinux_1_2_x86_64.whl","sboms":[{"artifact_uuid":"760dc7a8-8ff1-5068-a2e8-485d566f48b2","path":"python_sat-1.9.dev21.dist-info/sboms/auditwheel.cdx.json","format":"CycloneDX/1.4","format_family":"CycloneDX","valid":true,"media_type":"application/vnd.cyclonedx+json","download_url":"https://pypi.sbomify.com/artifact/760dc7a8-8ff1-5068-a2e8-485d566f48b2/download","vulnerability_count":0,"scan_error":null}],"attestation":{"status":"not_available"}}],"formats":["CycloneDX"],"sbom_count":18,"has_attestation":false,"vulnerabilities":[],"vulnerability_scan":{"scanned_sboms":18,"total_sboms":18,"scanned_at":"2026-11-10","scanner":"osv-scanner 2.7.0","severity_counts":{}}}