A Python library providing a simple interface to a number of state-of-art
Boolean satisfiability (SAT) solvers and a few types of cardinality and
pseudo-Boolean encodings. The purpose of PySAT is to enable researchers
working on SAT and its applications and generalizations to easily prototype
with SAT oracles in Python while exploiting incrementally the power of the
original low-level implementations of modern SAT solvers.
With PySAT it should be easy for you to implement a MaxSAT solver, an
MUS/MCS extractor/enumerator, or any tool solving an application problem
with the (potentially multiple) use of a SAT oracle.
Details can be found at `https://pysathq.github.io <https://pysathq.github.io>`__.
Raw data
{
"_id": null,
"home_page": "https://github.com/pysathq/pysat",
"name": "python-sat",
"maintainer": null,
"docs_url": null,
"requires_python": null,
"maintainer_email": null,
"keywords": null,
"author": "Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado",
"author_email": "alexey.ignatiev@monash.edu, joao.marques-silva@univ-toulouse.fr, ajrmorgado@gmail.com",
"download_url": "https://files.pythonhosted.org/packages/7b/5d/a46332506d9c9328aa33bf186ee185db1dd1be0588dad8b135f642d16e36/python_sat-1.8.dev21.tar.gz",
"platform": null,
"description": "\nA Python library providing a simple interface to a number of state-of-art\nBoolean satisfiability (SAT) solvers and a few types of cardinality and\npseudo-Boolean encodings. The purpose of PySAT is to enable researchers\nworking on SAT and its applications and generalizations to easily prototype\nwith SAT oracles in Python while exploiting incrementally the power of the\noriginal low-level implementations of modern SAT solvers.\n\nWith PySAT it should be easy for you to implement a MaxSAT solver, an\nMUS/MCS extractor/enumerator, or any tool solving an application problem\nwith the (potentially multiple) use of a SAT oracle.\n\nDetails can be found at `https://pysathq.github.io <https://pysathq.github.io>`__.\n",
"bugtrack_url": null,
"license": "MIT",
"summary": "A Python library for prototyping with SAT oracles",
"version": "1.8.dev21",
"project_urls": {
"Homepage": "https://github.com/pysathq/pysat"
},
"split_keywords": [],
"urls": [
{
"comment_text": null,
"digests": {
"blake2b_256": "1c9b46dbb843a48879ab839b0c8942f323aa9cd3041e082b9ef728718ffa737b",
"md5": "0ec401edef182894745282e667b4d8cd",
"sha256": "1a2a9d13e18eb664c573a8ee7988d8d8f375a24b0e83a6d6651b944313384536"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp310-cp310-macosx_10_9_x86_64.whl",
"has_sig": false,
"md5_digest": "0ec401edef182894745282e667b4d8cd",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 1860153,
"upload_time": "2025-09-16T19:47:46",
"upload_time_iso_8601": "2025-09-16T19:47:46.036081Z",
"url": "https://files.pythonhosted.org/packages/1c/9b/46dbb843a48879ab839b0c8942f323aa9cd3041e082b9ef728718ffa737b/python_sat-1.8.dev21-cp310-cp310-macosx_10_9_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "c31c2399793a3b271c7ca8a1448e1943a6c30762d0803a52ba01f2892a818678",
"md5": "7375b83d80331f712966fae653143c57",
"sha256": "f8ef1ca17432258a1357ad954ce9e8ca54375bbba521b0441a416543c89e45d7"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp310-cp310-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "7375b83d80331f712966fae653143c57",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 1605744,
"upload_time": "2025-09-16T19:47:49",
"upload_time_iso_8601": "2025-09-16T19:47:49.321542Z",
"url": "https://files.pythonhosted.org/packages/c3/1c/2399793a3b271c7ca8a1448e1943a6c30762d0803a52ba01f2892a818678/python_sat-1.8.dev21-cp310-cp310-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "fb232f5eae3e4da04870380add99fd5a1e839c3e70c97100bbd2b8742d4f39dd",
"md5": "0b5b6fdbc841b7a08e430ffc5a77a5a8",
"sha256": "ffd1f8cd25ba3b93226411eb399aaa470b75afca144096269fe74a3280f36741"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"has_sig": false,
"md5_digest": "0b5b6fdbc841b7a08e430ffc5a77a5a8",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 2749182,
"upload_time": "2025-09-16T19:47:51",
"upload_time_iso_8601": "2025-09-16T19:47:51.041157Z",
"url": "https://files.pythonhosted.org/packages/fb/23/2f5eae3e4da04870380add99fd5a1e839c3e70c97100bbd2b8742d4f39dd/python_sat-1.8.dev21-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "47e9b3076a6b161bddf03f5404e9db6eed9141a119b0903a4f7166ac67f659ef",
"md5": "e50c94643416ff1c24366b01e3916ae0",
"sha256": "3c53cd99b9267fefc5f9d995a56fb567d5b178e3a4b4ea1a14c1d1866d4756d5"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "e50c94643416ff1c24366b01e3916ae0",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 2834433,
"upload_time": "2025-09-16T19:47:53",
"upload_time_iso_8601": "2025-09-16T19:47:53.143481Z",
"url": "https://files.pythonhosted.org/packages/47/e9/b3076a6b161bddf03f5404e9db6eed9141a119b0903a4f7166ac67f659ef/python_sat-1.8.dev21-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "3f088dd6ecc8db1bc16c7f8336a99031e2f1ab98b899b917dd47f68ca6223bea",
"md5": "ca3b91bca3d929991ea191795b7871a7",
"sha256": "c4a44f2e0536018a61a5534a81151921463b423bd30da15a629067277c41c861"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp310-cp310-musllinux_1_2_aarch64.whl",
"has_sig": false,
"md5_digest": "ca3b91bca3d929991ea191795b7871a7",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 3717067,
"upload_time": "2025-09-16T19:47:55",
"upload_time_iso_8601": "2025-09-16T19:47:55.312059Z",
"url": "https://files.pythonhosted.org/packages/3f/08/8dd6ecc8db1bc16c7f8336a99031e2f1ab98b899b917dd47f68ca6223bea/python_sat-1.8.dev21-cp310-cp310-musllinux_1_2_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "8d768a49b8a819ec647a30924eedaadb4b7b2850982d0371a822bd18afc58d2d",
"md5": "d6802bc1a91621816e9694888905d9d5",
"sha256": "7324fe65c7ef66a458f698def441f0b93cf59d3648e1ac2390a392b05d94acc0"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp310-cp310-musllinux_1_2_x86_64.whl",
"has_sig": false,
"md5_digest": "d6802bc1a91621816e9694888905d9d5",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 3845800,
"upload_time": "2025-09-16T19:47:57",
"upload_time_iso_8601": "2025-09-16T19:47:57.683555Z",
"url": "https://files.pythonhosted.org/packages/8d/76/8a49b8a819ec647a30924eedaadb4b7b2850982d0371a822bd18afc58d2d/python_sat-1.8.dev21-cp310-cp310-musllinux_1_2_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "ca40db6457d3582557552effff632af8b03fcac6477005613071066b33f70b8a",
"md5": "84d93484ed9c3fa46091b66c4d437bbf",
"sha256": "6395492a1d47cd9be2a426716aa83a9454bca8a496db7cbb62775f7b54eba005"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp310-cp310-win_amd64.whl",
"has_sig": false,
"md5_digest": "84d93484ed9c3fa46091b66c4d437bbf",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 1324446,
"upload_time": "2025-09-16T20:20:51",
"upload_time_iso_8601": "2025-09-16T20:20:51.791963Z",
"url": "https://files.pythonhosted.org/packages/ca/40/db6457d3582557552effff632af8b03fcac6477005613071066b33f70b8a/python_sat-1.8.dev21-cp310-cp310-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "5d7e565ed7de968aeac7e02565561f9d2397f4d17703e9f581dab7312b082ca0",
"md5": "812e997c158ebe75f7d9525c77fa0219",
"sha256": "c6197067d41978fdccad43b1fff455aba51395815ab66cfade2f44989749b75d"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp311-cp311-macosx_10_9_x86_64.whl",
"has_sig": false,
"md5_digest": "812e997c158ebe75f7d9525c77fa0219",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 1860153,
"upload_time": "2025-09-16T19:48:00",
"upload_time_iso_8601": "2025-09-16T19:48:00.137389Z",
"url": "https://files.pythonhosted.org/packages/5d/7e/565ed7de968aeac7e02565561f9d2397f4d17703e9f581dab7312b082ca0/python_sat-1.8.dev21-cp311-cp311-macosx_10_9_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "0f417d2c6978940c3fb2d4b6f4780821a39209f1b2bb7fbfbb4a9f7fecc93feb",
"md5": "d05a8107483410db1abad17b710107b7",
"sha256": "39f94cbd0872cacac784d2128b0f1d0b39a4fa8fb00906693913605297cb4d2f"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp311-cp311-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "d05a8107483410db1abad17b710107b7",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 1605741,
"upload_time": "2025-09-16T19:48:02",
"upload_time_iso_8601": "2025-09-16T19:48:02.295746Z",
"url": "https://files.pythonhosted.org/packages/0f/41/7d2c6978940c3fb2d4b6f4780821a39209f1b2bb7fbfbb4a9f7fecc93feb/python_sat-1.8.dev21-cp311-cp311-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "5f6b1f48025edb0f3a53206b20cfb219178865855be3fa37ff0813b25f0e31fc",
"md5": "161e6784cfa7a9ab568882c3d9b8c813",
"sha256": "72bb1f7166006a706fe3304d62291a9d241803d5a3a0c6e860d73c3cd37af388"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"has_sig": false,
"md5_digest": "161e6784cfa7a9ab568882c3d9b8c813",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 2752670,
"upload_time": "2025-09-16T19:48:03",
"upload_time_iso_8601": "2025-09-16T19:48:03.954815Z",
"url": "https://files.pythonhosted.org/packages/5f/6b/1f48025edb0f3a53206b20cfb219178865855be3fa37ff0813b25f0e31fc/python_sat-1.8.dev21-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "65ade4596d4efcb4fcbb8aa24a71df64365768c283f6a5a997209b28c234b05c",
"md5": "6a65db20ddc2c3271540634d7d1fbc2b",
"sha256": "95fe3c7eda34d6e4722d0666ba1d00179850154341eaa943c0c69c8fa611f4e6"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "6a65db20ddc2c3271540634d7d1fbc2b",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 2839476,
"upload_time": "2025-09-16T19:48:05",
"upload_time_iso_8601": "2025-09-16T19:48:05.409981Z",
"url": "https://files.pythonhosted.org/packages/65/ad/e4596d4efcb4fcbb8aa24a71df64365768c283f6a5a997209b28c234b05c/python_sat-1.8.dev21-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "c2417088fc53b461aec467f0e16b02ce78fc8b89adeb8a11e733dd8e67b06275",
"md5": "782b797e2c670b68cbd16cb5ba833530",
"sha256": "0b13e76a8400ce4afef0657c60869b20070d5602f83a146ee87a60bfeffa3a27"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp311-cp311-musllinux_1_2_aarch64.whl",
"has_sig": false,
"md5_digest": "782b797e2c670b68cbd16cb5ba833530",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 3720282,
"upload_time": "2025-09-16T19:48:06",
"upload_time_iso_8601": "2025-09-16T19:48:06.871119Z",
"url": "https://files.pythonhosted.org/packages/c2/41/7088fc53b461aec467f0e16b02ce78fc8b89adeb8a11e733dd8e67b06275/python_sat-1.8.dev21-cp311-cp311-musllinux_1_2_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "17040dfed7215b90402d942f8f1618934729e93f1338e439e401710016725a93",
"md5": "795d9e3f58afde82f9f28ef3851d9959",
"sha256": "347deff0c1ce269dabaf0b163cd5f7d4a5ebd77fa2297c0346c7823fbcb7f8e8"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp311-cp311-musllinux_1_2_x86_64.whl",
"has_sig": false,
"md5_digest": "795d9e3f58afde82f9f28ef3851d9959",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 3848907,
"upload_time": "2025-09-16T19:48:08",
"upload_time_iso_8601": "2025-09-16T19:48:08.673931Z",
"url": "https://files.pythonhosted.org/packages/17/04/0dfed7215b90402d942f8f1618934729e93f1338e439e401710016725a93/python_sat-1.8.dev21-cp311-cp311-musllinux_1_2_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "569243adcb9f79c273d4e49184cfd78b96eb5a3849f4c51bf11ffec957f4d0e5",
"md5": "91c255d849e80362a829a02a36260d53",
"sha256": "03096f59f098cbf6b415bc42e6ef34e2c67292a55735846636204e1a699e07c6"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp311-cp311-win_amd64.whl",
"has_sig": false,
"md5_digest": "91c255d849e80362a829a02a36260d53",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 1324436,
"upload_time": "2025-09-16T20:22:35",
"upload_time_iso_8601": "2025-09-16T20:22:35.847174Z",
"url": "https://files.pythonhosted.org/packages/56/92/43adcb9f79c273d4e49184cfd78b96eb5a3849f4c51bf11ffec957f4d0e5/python_sat-1.8.dev21-cp311-cp311-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "cd243c953c48a6d4dd1fc94b31e84c3d4c1a057dffafd21a80702120346e9d32",
"md5": "5330c20d01466a699a17ddad5563e0d7",
"sha256": "3b99228d5f4ff8f37183c78d9011606c2d4f29c6d8bab1bee093c5629b44ec10"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp312-cp312-macosx_10_13_x86_64.whl",
"has_sig": false,
"md5_digest": "5330c20d01466a699a17ddad5563e0d7",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 1860298,
"upload_time": "2025-09-16T19:48:10",
"upload_time_iso_8601": "2025-09-16T19:48:10.286781Z",
"url": "https://files.pythonhosted.org/packages/cd/24/3c953c48a6d4dd1fc94b31e84c3d4c1a057dffafd21a80702120346e9d32/python_sat-1.8.dev21-cp312-cp312-macosx_10_13_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "27096ecf4b9c144c9eb87dba30feeedfa25e27cb59e277f567aababd56ed7127",
"md5": "1c547833c88de0d12153f6721ddd9408",
"sha256": "ebab7ab2a70ce2cff629c99db66e20682c3cde8bb9f201687291d38e3b2e215f"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp312-cp312-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "1c547833c88de0d12153f6721ddd9408",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 1605840,
"upload_time": "2025-09-16T19:48:12",
"upload_time_iso_8601": "2025-09-16T19:48:12.248357Z",
"url": "https://files.pythonhosted.org/packages/27/09/6ecf4b9c144c9eb87dba30feeedfa25e27cb59e277f567aababd56ed7127/python_sat-1.8.dev21-cp312-cp312-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "943e57f44a3aa08dd941329d81ced2f041ad3cc78268f18f3b327b8c170f003f",
"md5": "1a014775a7308b74d471e63f1928cf04",
"sha256": "0b4eb1242bab523d739216f51cf2d7f2209f4f081f95c4b065a5ca83e55f8154"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"has_sig": false,
"md5_digest": "1a014775a7308b74d471e63f1928cf04",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 2753190,
"upload_time": "2025-09-16T19:48:14",
"upload_time_iso_8601": "2025-09-16T19:48:14.046118Z",
"url": "https://files.pythonhosted.org/packages/94/3e/57f44a3aa08dd941329d81ced2f041ad3cc78268f18f3b327b8c170f003f/python_sat-1.8.dev21-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "2186775a46be52757baf1c41ca8f49fc759b2f2aeb33d113201254175982dafd",
"md5": "9f9a76fa25c03afdeb6fabf0f74f73cf",
"sha256": "46af885d7bfd94f9a9bdaf444351e592ff8794324785d823d8b51e41d3f7e2ec"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "9f9a76fa25c03afdeb6fabf0f74f73cf",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 2843390,
"upload_time": "2025-09-16T19:48:15",
"upload_time_iso_8601": "2025-09-16T19:48:15.804634Z",
"url": "https://files.pythonhosted.org/packages/21/86/775a46be52757baf1c41ca8f49fc759b2f2aeb33d113201254175982dafd/python_sat-1.8.dev21-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "e7f0b10ca9d067b3220de2c1f9d6645b82f20e5c1d5d6668a483c3cb72146491",
"md5": "4e92c4b3184c8551a4e4a9cb6eedfb9e",
"sha256": "f665729ff86cac826441f58cb06ef1692e9874eabb881aaeafa2661bd7e28c99"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp312-cp312-musllinux_1_2_aarch64.whl",
"has_sig": false,
"md5_digest": "4e92c4b3184c8551a4e4a9cb6eedfb9e",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 3720798,
"upload_time": "2025-09-16T19:48:17",
"upload_time_iso_8601": "2025-09-16T19:48:17.653097Z",
"url": "https://files.pythonhosted.org/packages/e7/f0/b10ca9d067b3220de2c1f9d6645b82f20e5c1d5d6668a483c3cb72146491/python_sat-1.8.dev21-cp312-cp312-musllinux_1_2_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "ba17f811786de93dcc2c327f62a4ceeaa68642b4ebc2b8e17e2b7d7e73c946f1",
"md5": "a4510df6c7ad3a52dd33e62812c017ef",
"sha256": "1a301bf6071f157759fc7e60cdee0021b651d3e09fe3cf75cb6bd5fe8de2bb25"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp312-cp312-musllinux_1_2_x86_64.whl",
"has_sig": false,
"md5_digest": "a4510df6c7ad3a52dd33e62812c017ef",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 3853155,
"upload_time": "2025-09-16T19:48:19",
"upload_time_iso_8601": "2025-09-16T19:48:19.126586Z",
"url": "https://files.pythonhosted.org/packages/ba/17/f811786de93dcc2c327f62a4ceeaa68642b4ebc2b8e17e2b7d7e73c946f1/python_sat-1.8.dev21-cp312-cp312-musllinux_1_2_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "6bbb6699a182dd903274ed3082d9b51a85385092af4e034ecbe447960dca7a3a",
"md5": "661b026fbbd7fca6ed5087d5af890063",
"sha256": "3ded43b8fa8346e921f2cbbcf2060f416f0b7ec9a64100c33fa6e8c3351826ea"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp312-cp312-win_amd64.whl",
"has_sig": false,
"md5_digest": "661b026fbbd7fca6ed5087d5af890063",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 1324584,
"upload_time": "2025-09-16T20:23:26",
"upload_time_iso_8601": "2025-09-16T20:23:26.771533Z",
"url": "https://files.pythonhosted.org/packages/6b/bb/6699a182dd903274ed3082d9b51a85385092af4e034ecbe447960dca7a3a/python_sat-1.8.dev21-cp312-cp312-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "645d59f95f66b1fc9dcdcd029efa082786862d335aa1a57c00cb930e40c7648e",
"md5": "9d792c46476e77cc0ae1afbdb06fd3f3",
"sha256": "fc1aa3bf6168551a781ad1d702f25a089e8bafd62e3f5a106b9a9817f47cf838"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp313-cp313-macosx_10_13_x86_64.whl",
"has_sig": false,
"md5_digest": "9d792c46476e77cc0ae1afbdb06fd3f3",
"packagetype": "bdist_wheel",
"python_version": "cp313",
"requires_python": null,
"size": 1860291,
"upload_time": "2025-09-16T19:48:20",
"upload_time_iso_8601": "2025-09-16T19:48:20.677664Z",
"url": "https://files.pythonhosted.org/packages/64/5d/59f95f66b1fc9dcdcd029efa082786862d335aa1a57c00cb930e40c7648e/python_sat-1.8.dev21-cp313-cp313-macosx_10_13_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "b0a680dc8ac0e4317dcc4f20af65dae9097dfe9f51e301de34079ac85c16db29",
"md5": "6abfac67a84a87aceb8b54784108cd0a",
"sha256": "0accd8e87c29b3907c5af8f6e18fbe4e69c848edf3583a618b11955ab0b385cb"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp313-cp313-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "6abfac67a84a87aceb8b54784108cd0a",
"packagetype": "bdist_wheel",
"python_version": "cp313",
"requires_python": null,
"size": 1605831,
"upload_time": "2025-09-16T19:48:22",
"upload_time_iso_8601": "2025-09-16T19:48:22.378032Z",
"url": "https://files.pythonhosted.org/packages/b0/a6/80dc8ac0e4317dcc4f20af65dae9097dfe9f51e301de34079ac85c16db29/python_sat-1.8.dev21-cp313-cp313-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "f4971f10749c237666690af9f2282c7fe19189f9b30cf38cae011509cb107d79",
"md5": "10205b72a30e002e747612da0cf24fa3",
"sha256": "bc5c5a1f5ff4646db08197f68f5e7e7c9d6e03d61b43658ee60ef68a90a771cf"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"has_sig": false,
"md5_digest": "10205b72a30e002e747612da0cf24fa3",
"packagetype": "bdist_wheel",
"python_version": "cp313",
"requires_python": null,
"size": 2753316,
"upload_time": "2025-09-16T19:48:23",
"upload_time_iso_8601": "2025-09-16T19:48:23.779666Z",
"url": "https://files.pythonhosted.org/packages/f4/97/1f10749c237666690af9f2282c7fe19189f9b30cf38cae011509cb107d79/python_sat-1.8.dev21-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "8207625eb2ded13cf5054c5ed910d30492e52fdd1f5c7208249680cbef6d4db9",
"md5": "0bc99697bbc267b8c22652366850d4c6",
"sha256": "dc427377620258dc392051fd93e6887037cf273283d0533bcd4ac74d58517b85"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "0bc99697bbc267b8c22652366850d4c6",
"packagetype": "bdist_wheel",
"python_version": "cp313",
"requires_python": null,
"size": 2843372,
"upload_time": "2025-09-16T19:48:25",
"upload_time_iso_8601": "2025-09-16T19:48:25.278509Z",
"url": "https://files.pythonhosted.org/packages/82/07/625eb2ded13cf5054c5ed910d30492e52fdd1f5c7208249680cbef6d4db9/python_sat-1.8.dev21-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "e21b813b53456d89786f43fa30d887b57c2071457c117f03b6cde6f844a67be4",
"md5": "e5060f414075ab99acb32fbe8badfb0f",
"sha256": "3595a20fa311a0a8adf48bef4c542263900d625b42f6c261f713a45d63cdc10a"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp313-cp313-musllinux_1_2_aarch64.whl",
"has_sig": false,
"md5_digest": "e5060f414075ab99acb32fbe8badfb0f",
"packagetype": "bdist_wheel",
"python_version": "cp313",
"requires_python": null,
"size": 3720843,
"upload_time": "2025-09-16T19:48:26",
"upload_time_iso_8601": "2025-09-16T19:48:26.716505Z",
"url": "https://files.pythonhosted.org/packages/e2/1b/813b53456d89786f43fa30d887b57c2071457c117f03b6cde6f844a67be4/python_sat-1.8.dev21-cp313-cp313-musllinux_1_2_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "60a6bd2d889e5a45a20bfcc34660de08f41b6cac79c45f08525a582cb9ae9632",
"md5": "4e63711147f0ebee3b69cf1bc02deef2",
"sha256": "fc99242a67f20cbcf4023a723e60868c6b0e381c88105f3d892852e123d42c22"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp313-cp313-musllinux_1_2_x86_64.whl",
"has_sig": false,
"md5_digest": "4e63711147f0ebee3b69cf1bc02deef2",
"packagetype": "bdist_wheel",
"python_version": "cp313",
"requires_python": null,
"size": 3853235,
"upload_time": "2025-09-16T19:48:28",
"upload_time_iso_8601": "2025-09-16T19:48:28.650192Z",
"url": "https://files.pythonhosted.org/packages/60/a6/bd2d889e5a45a20bfcc34660de08f41b6cac79c45f08525a582cb9ae9632/python_sat-1.8.dev21-cp313-cp313-musllinux_1_2_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "3f4766a321cf6bf47c45584ef2ed3dc53c47961b97e621776d1c1820b7fe0e37",
"md5": "17f9ce7b165cee6c436a810004a955ee",
"sha256": "0be7a9eb2ccb5a4c4225f16d0e1060457f1329b7d1e520a79aa797b56d832d77"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp313-cp313-win_amd64.whl",
"has_sig": false,
"md5_digest": "17f9ce7b165cee6c436a810004a955ee",
"packagetype": "bdist_wheel",
"python_version": "cp313",
"requires_python": null,
"size": 1324602,
"upload_time": "2025-09-16T20:24:54",
"upload_time_iso_8601": "2025-09-16T20:24:54.009605Z",
"url": "https://files.pythonhosted.org/packages/3f/47/66a321cf6bf47c45584ef2ed3dc53c47961b97e621776d1c1820b7fe0e37/python_sat-1.8.dev21-cp313-cp313-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "10a288250fc52a4cd9c57b3549c08c5e5ffe6d8a2860e2c4d7f65446bb268a1f",
"md5": "d3f187e0fffc22be0baef953099e8f82",
"sha256": "8c291c8e2e8deaa7a6179f7480bac5f648362350b506697061bcb550c3f3597e"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp314-cp314-macosx_10_13_x86_64.whl",
"has_sig": false,
"md5_digest": "d3f187e0fffc22be0baef953099e8f82",
"packagetype": "bdist_wheel",
"python_version": "cp314",
"requires_python": null,
"size": 1860310,
"upload_time": "2025-09-16T19:48:30",
"upload_time_iso_8601": "2025-09-16T19:48:30.095996Z",
"url": "https://files.pythonhosted.org/packages/10/a2/88250fc52a4cd9c57b3549c08c5e5ffe6d8a2860e2c4d7f65446bb268a1f/python_sat-1.8.dev21-cp314-cp314-macosx_10_13_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "d561c575c7532811967b6c3fabb02bff8b6400b8fd02a17258b4000715b734f2",
"md5": "2f3ba1b6a7132601f90261233f3b3be6",
"sha256": "a5a974bc3bb2255d6907481c370366123ac20d351b553b09ddd53e4c99297749"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp314-cp314-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "2f3ba1b6a7132601f90261233f3b3be6",
"packagetype": "bdist_wheel",
"python_version": "cp314",
"requires_python": null,
"size": 1605982,
"upload_time": "2025-09-16T19:48:31",
"upload_time_iso_8601": "2025-09-16T19:48:31.849192Z",
"url": "https://files.pythonhosted.org/packages/d5/61/c575c7532811967b6c3fabb02bff8b6400b8fd02a17258b4000715b734f2/python_sat-1.8.dev21-cp314-cp314-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "2bea81df9a94c5ceeb211271f635a22dd5370b1ceeeeb1b624cc161af83677d2",
"md5": "02bd7287c7bb1ce9a25d0609727ea8a8",
"sha256": "8f4f6804307fd974e85aabcae7d9208dd521400182651aa47ce3757deb6855cd"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"has_sig": false,
"md5_digest": "02bd7287c7bb1ce9a25d0609727ea8a8",
"packagetype": "bdist_wheel",
"python_version": "cp314",
"requires_python": null,
"size": 2752965,
"upload_time": "2025-09-16T19:48:33",
"upload_time_iso_8601": "2025-09-16T19:48:33.333260Z",
"url": "https://files.pythonhosted.org/packages/2b/ea/81df9a94c5ceeb211271f635a22dd5370b1ceeeeb1b624cc161af83677d2/python_sat-1.8.dev21-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "3984648323c0789ea4bb7ca2e23f963ba3a1249266e41f048521a24faf696515",
"md5": "5b083bd9c8e412a69edc472ca9c099eb",
"sha256": "1e06c17622586971d705aa2fd1e68a7056cdf126c2151d715cbb335482e47652"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "5b083bd9c8e412a69edc472ca9c099eb",
"packagetype": "bdist_wheel",
"python_version": "cp314",
"requires_python": null,
"size": 2843439,
"upload_time": "2025-09-16T19:48:35",
"upload_time_iso_8601": "2025-09-16T19:48:35.191847Z",
"url": "https://files.pythonhosted.org/packages/39/84/648323c0789ea4bb7ca2e23f963ba3a1249266e41f048521a24faf696515/python_sat-1.8.dev21-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "09fa33e08a7ed8a19f1434c9f303abbd1d7b81181c206d3f52a0e1137ba2ddb8",
"md5": "d0ff3bcb65d9a9459b31aad3fa4810a7",
"sha256": "08553e64cbfda84eb962f9f739c9ce44cc16c696b47977bf111833bcae7e2436"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp314-cp314-musllinux_1_2_aarch64.whl",
"has_sig": false,
"md5_digest": "d0ff3bcb65d9a9459b31aad3fa4810a7",
"packagetype": "bdist_wheel",
"python_version": "cp314",
"requires_python": null,
"size": 3721296,
"upload_time": "2025-09-16T19:48:38",
"upload_time_iso_8601": "2025-09-16T19:48:38.097290Z",
"url": "https://files.pythonhosted.org/packages/09/fa/33e08a7ed8a19f1434c9f303abbd1d7b81181c206d3f52a0e1137ba2ddb8/python_sat-1.8.dev21-cp314-cp314-musllinux_1_2_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "4e1403692fec02d29fab75fafe994ee0823350ac127b7c66aaac2724867fc969",
"md5": "b3aacf1f96b0f9a875d90b19f6352938",
"sha256": "a2df57ba475c41c1fc873fb2b65733ede058a7f9e00b62b7ac2f3ec7133217bd"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp314-cp314-musllinux_1_2_x86_64.whl",
"has_sig": false,
"md5_digest": "b3aacf1f96b0f9a875d90b19f6352938",
"packagetype": "bdist_wheel",
"python_version": "cp314",
"requires_python": null,
"size": 3853627,
"upload_time": "2025-09-16T19:48:39",
"upload_time_iso_8601": "2025-09-16T19:48:39.654790Z",
"url": "https://files.pythonhosted.org/packages/4e/14/03692fec02d29fab75fafe994ee0823350ac127b7c66aaac2724867fc969/python_sat-1.8.dev21-cp314-cp314-musllinux_1_2_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "8fb6d3e04956d981e5de932d8e7cf3d8309a4de9ca476344f6fa74c3de75be04",
"md5": "f09be85005765b472e677c63d35b2238",
"sha256": "e9c90c721470e25616a859fb94c14cc70a6eaeaeafe587dd14d56200a29b5b60"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp314-cp314t-macosx_10_13_x86_64.whl",
"has_sig": false,
"md5_digest": "f09be85005765b472e677c63d35b2238",
"packagetype": "bdist_wheel",
"python_version": "cp314",
"requires_python": null,
"size": 1861989,
"upload_time": "2025-09-16T19:48:41",
"upload_time_iso_8601": "2025-09-16T19:48:41.142082Z",
"url": "https://files.pythonhosted.org/packages/8f/b6/d3e04956d981e5de932d8e7cf3d8309a4de9ca476344f6fa74c3de75be04/python_sat-1.8.dev21-cp314-cp314t-macosx_10_13_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "1ff203e5bced37c637a5539a3027a0993d25f985f287c8590da8ee04ea0cce8f",
"md5": "1f15e5338ab71cd7735cd387a237c488",
"sha256": "80f1913fc5446122e5513f9a7878a7515c2efe0d2faa7aeb9d36d7849273215b"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp314-cp314t-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "1f15e5338ab71cd7735cd387a237c488",
"packagetype": "bdist_wheel",
"python_version": "cp314",
"requires_python": null,
"size": 1608234,
"upload_time": "2025-09-16T19:48:42",
"upload_time_iso_8601": "2025-09-16T19:48:42.922425Z",
"url": "https://files.pythonhosted.org/packages/1f/f2/03e5bced37c637a5539a3027a0993d25f985f287c8590da8ee04ea0cce8f/python_sat-1.8.dev21-cp314-cp314t-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "9d9640f6f7c983b52d87a66bf7c7c6f2e1d90866abb162a7ade28c07633d76a4",
"md5": "d0efe1ef68467c67a2ac0af6cd7eb81a",
"sha256": "fd4b6fa5664497cc392a7979705d48d60fb909c402f17e4ea69b1cc11100769f"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"has_sig": false,
"md5_digest": "d0efe1ef68467c67a2ac0af6cd7eb81a",
"packagetype": "bdist_wheel",
"python_version": "cp314",
"requires_python": null,
"size": 2771514,
"upload_time": "2025-09-16T19:48:44",
"upload_time_iso_8601": "2025-09-16T19:48:44.413494Z",
"url": "https://files.pythonhosted.org/packages/9d/96/40f6f7c983b52d87a66bf7c7c6f2e1d90866abb162a7ade28c07633d76a4/python_sat-1.8.dev21-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "c311c9dfbb6b02cad9bbb295edb76b4ba01f4e5954fdcbc227b62c17ec1cde7f",
"md5": "e3d01e7e2baa9693fe14ba06836e1159",
"sha256": "168e0f0608c2b8582f17e75063e12c421f2584b9245636bfb2bb4800ccbaaf8c"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "e3d01e7e2baa9693fe14ba06836e1159",
"packagetype": "bdist_wheel",
"python_version": "cp314",
"requires_python": null,
"size": 2863837,
"upload_time": "2025-09-16T19:48:45",
"upload_time_iso_8601": "2025-09-16T19:48:45.951970Z",
"url": "https://files.pythonhosted.org/packages/c3/11/c9dfbb6b02cad9bbb295edb76b4ba01f4e5954fdcbc227b62c17ec1cde7f/python_sat-1.8.dev21-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "3e042e4e779457d80de1eb132874df1f26c1b98700b4d06aac88900bef5abc3a",
"md5": "a6d915998b8978eec9c61e95164d2f42",
"sha256": "5cf4a6ac34e5a40b4db41280ccace532b8e589216ec605d70d39d732809e0061"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp314-cp314t-musllinux_1_2_aarch64.whl",
"has_sig": false,
"md5_digest": "a6d915998b8978eec9c61e95164d2f42",
"packagetype": "bdist_wheel",
"python_version": "cp314",
"requires_python": null,
"size": 3736307,
"upload_time": "2025-09-16T19:48:47",
"upload_time_iso_8601": "2025-09-16T19:48:47.537959Z",
"url": "https://files.pythonhosted.org/packages/3e/04/2e4e779457d80de1eb132874df1f26c1b98700b4d06aac88900bef5abc3a/python_sat-1.8.dev21-cp314-cp314t-musllinux_1_2_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "0111b6210f1425d29485c86db19a0c432bb30313e99cd1da0c2338bf860307ca",
"md5": "f1b39be84174d1f76c05fbc2198804f5",
"sha256": "cede760d17d2ad330a96dcfc522e6c73c255e7b8827944162dfc2b50800532db"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp314-cp314t-musllinux_1_2_x86_64.whl",
"has_sig": false,
"md5_digest": "f1b39be84174d1f76c05fbc2198804f5",
"packagetype": "bdist_wheel",
"python_version": "cp314",
"requires_python": null,
"size": 3868698,
"upload_time": "2025-09-16T19:48:49",
"upload_time_iso_8601": "2025-09-16T19:48:49.098218Z",
"url": "https://files.pythonhosted.org/packages/01/11/b6210f1425d29485c86db19a0c432bb30313e99cd1da0c2338bf860307ca/python_sat-1.8.dev21-cp314-cp314t-musllinux_1_2_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "834d7ccb544b9205f1bf2644501541aa341d179f1d55628581710f390fa56ab5",
"md5": "07829d667b1c8e94f429358784aa8be1",
"sha256": "72c04f96c8de9ac85395398f77e1ea687c6f0078d508a79bed09cb24e2d62606"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp38-cp38-macosx_10_9_x86_64.whl",
"has_sig": false,
"md5_digest": "07829d667b1c8e94f429358784aa8be1",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 1859889,
"upload_time": "2025-09-16T19:48:52",
"upload_time_iso_8601": "2025-09-16T19:48:52.125644Z",
"url": "https://files.pythonhosted.org/packages/83/4d/7ccb544b9205f1bf2644501541aa341d179f1d55628581710f390fa56ab5/python_sat-1.8.dev21-cp38-cp38-macosx_10_9_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "569e875fb02e3a5c48f7c2510ff1d55af1a56f46a7eb3ca1796505d251771769",
"md5": "38b3cd4c31d4f9263547f5c4dba31f7a",
"sha256": "f72791c0ecf097c69b235190f0e9b8d96b286b6dde35dff352b3c6b3b0ef4c91"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp38-cp38-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "38b3cd4c31d4f9263547f5c4dba31f7a",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 354803,
"upload_time": "2025-09-16T19:48:53",
"upload_time_iso_8601": "2025-09-16T19:48:53.497797Z",
"url": "https://files.pythonhosted.org/packages/56/9e/875fb02e3a5c48f7c2510ff1d55af1a56f46a7eb3ca1796505d251771769/python_sat-1.8.dev21-cp38-cp38-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "ecfca50a740c2511349bc768012426f50c7c9b28e5f862f17dbe30840b95d886",
"md5": "ed605e73d439a004b18a8dcb7848dcdf",
"sha256": "65137ad97f4cd2ea25afb951a4209d73c1c66efa040ccd7e71db07dbc0ea6e57"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"has_sig": false,
"md5_digest": "ed605e73d439a004b18a8dcb7848dcdf",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 2756830,
"upload_time": "2025-09-16T19:48:55",
"upload_time_iso_8601": "2025-09-16T19:48:55.365296Z",
"url": "https://files.pythonhosted.org/packages/ec/fc/a50a740c2511349bc768012426f50c7c9b28e5f862f17dbe30840b95d886/python_sat-1.8.dev21-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "5d4a0b561b7bc6b955897aaef902f4c6199ab6d76f660c998f9121a873b1c5e2",
"md5": "9900bb8434819d6aafa1e3123bee9351",
"sha256": "59ddfb30caa039450b81bd605fd4494c63ea064ebde9e80b93951c825f70139f"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "9900bb8434819d6aafa1e3123bee9351",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 2845077,
"upload_time": "2025-09-16T19:48:57",
"upload_time_iso_8601": "2025-09-16T19:48:57.169868Z",
"url": "https://files.pythonhosted.org/packages/5d/4a/0b561b7bc6b955897aaef902f4c6199ab6d76f660c998f9121a873b1c5e2/python_sat-1.8.dev21-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "10187df154111b64ee3a8eaea357d416540d3edcd439247ec4208df8043e6134",
"md5": "b419fa5153ff6a82eb030e3bce725da7",
"sha256": "be6e4dda494dcc46ca09792ef4e95d6f04a4931fc579202e3ab93b9b4e8bd70e"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp38-cp38-musllinux_1_2_aarch64.whl",
"has_sig": false,
"md5_digest": "b419fa5153ff6a82eb030e3bce725da7",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 3725243,
"upload_time": "2025-09-16T19:48:58",
"upload_time_iso_8601": "2025-09-16T19:48:58.899048Z",
"url": "https://files.pythonhosted.org/packages/10/18/7df154111b64ee3a8eaea357d416540d3edcd439247ec4208df8043e6134/python_sat-1.8.dev21-cp38-cp38-musllinux_1_2_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "0aa6b8523dcdffba6cda6872d1d76baf695ca5fdb880c7420eda6b31efe635f5",
"md5": "d546a0e8cce211ef81fd9d9e6f64a6d7",
"sha256": "064e86909f709a43fd6452b608c983b4e395da3812da6277e8ef91ed98c02ada"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp38-cp38-musllinux_1_2_x86_64.whl",
"has_sig": false,
"md5_digest": "d546a0e8cce211ef81fd9d9e6f64a6d7",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 3853973,
"upload_time": "2025-09-16T19:49:01",
"upload_time_iso_8601": "2025-09-16T19:49:01.289485Z",
"url": "https://files.pythonhosted.org/packages/0a/a6/b8523dcdffba6cda6872d1d76baf695ca5fdb880c7420eda6b31efe635f5/python_sat-1.8.dev21-cp38-cp38-musllinux_1_2_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "b4dd2749c8b9e81aa8773204497c15cefda0cac52f2a7e09dc21404cfdbba971",
"md5": "7b9207bc6a5e1d60cf456e7f63845f87",
"sha256": "42dc4d18dddf5af0e8a381252c2ddcd2b03d099e6a98be2fafb4fd502cd462e2"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp38-cp38-win_amd64.whl",
"has_sig": false,
"md5_digest": "7b9207bc6a5e1d60cf456e7f63845f87",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 1324659,
"upload_time": "2025-09-16T20:25:29",
"upload_time_iso_8601": "2025-09-16T20:25:29.695011Z",
"url": "https://files.pythonhosted.org/packages/b4/dd/2749c8b9e81aa8773204497c15cefda0cac52f2a7e09dc21404cfdbba971/python_sat-1.8.dev21-cp38-cp38-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "f56729d382caacb641d57f95600a138824aff5bcfe12e759251f30d3e53355c3",
"md5": "8f8953976d31b88e64028dbcde27a476",
"sha256": "bc3e50b6319b7dd6f36f7ae3d71be61c1a8749b05fb4eda34c1a43e46d75a53e"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp39-cp39-macosx_10_9_x86_64.whl",
"has_sig": false,
"md5_digest": "8f8953976d31b88e64028dbcde27a476",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 1860142,
"upload_time": "2025-09-16T19:49:04",
"upload_time_iso_8601": "2025-09-16T19:49:04.276433Z",
"url": "https://files.pythonhosted.org/packages/f5/67/29d382caacb641d57f95600a138824aff5bcfe12e759251f30d3e53355c3/python_sat-1.8.dev21-cp39-cp39-macosx_10_9_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "a5d4ee9cea101d3497c8344743c9983f3eb38e63e7da578c0a76fa79f65ae992",
"md5": "a3c9b110af885a904a018bb997a0a6fe",
"sha256": "0f74b067eb31726f1531c0fb548c63e8e5c8b4200bdef132cf4b41194633e580"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp39-cp39-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "a3c9b110af885a904a018bb997a0a6fe",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 1605733,
"upload_time": "2025-09-16T19:49:05",
"upload_time_iso_8601": "2025-09-16T19:49:05.797647Z",
"url": "https://files.pythonhosted.org/packages/a5/d4/ee9cea101d3497c8344743c9983f3eb38e63e7da578c0a76fa79f65ae992/python_sat-1.8.dev21-cp39-cp39-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "6d0ae5ae6cbc9d97302d97288a5a1132bed5eb09dcc434a692ba8e453a533901",
"md5": "85edc4bf31ab0797bba1e6d801f988fd",
"sha256": "96b53d27445171959e3bbb1109138952b6a162228768e5fbaa4c8e3208d43e22"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"has_sig": false,
"md5_digest": "85edc4bf31ab0797bba1e6d801f988fd",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 2746788,
"upload_time": "2025-09-16T19:49:07",
"upload_time_iso_8601": "2025-09-16T19:49:07.271306Z",
"url": "https://files.pythonhosted.org/packages/6d/0a/e5ae6cbc9d97302d97288a5a1132bed5eb09dcc434a692ba8e453a533901/python_sat-1.8.dev21-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "ce5810638c5a9ccdd047af876e323cd4872c35b6c8af73eda7019d8b08a914f0",
"md5": "6f40f9028caaca8929e8c19ea116c338",
"sha256": "e41563c832bde41f3ee430be0607471895d8bfd700b6ef9ce2eb7c245c4b8805"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "6f40f9028caaca8929e8c19ea116c338",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 2831981,
"upload_time": "2025-09-16T19:49:09",
"upload_time_iso_8601": "2025-09-16T19:49:09.055657Z",
"url": "https://files.pythonhosted.org/packages/ce/58/10638c5a9ccdd047af876e323cd4872c35b6c8af73eda7019d8b08a914f0/python_sat-1.8.dev21-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "199435e00bc37f4356a1cf7d1db56e8dfbf8f94b034036b545304925f00d9a07",
"md5": "acf387bf9b47fafd611a76964ebd10e7",
"sha256": "67196f6d98f27e4e490d2dc7359815b40ad95fb7eb6622194a0275f8b7a08a10"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp39-cp39-musllinux_1_2_aarch64.whl",
"has_sig": false,
"md5_digest": "acf387bf9b47fafd611a76964ebd10e7",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 3714341,
"upload_time": "2025-09-16T19:49:11",
"upload_time_iso_8601": "2025-09-16T19:49:11.156189Z",
"url": "https://files.pythonhosted.org/packages/19/94/35e00bc37f4356a1cf7d1db56e8dfbf8f94b034036b545304925f00d9a07/python_sat-1.8.dev21-cp39-cp39-musllinux_1_2_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "052101326173f66c5542abd1edd9717485cdf653be57a2acf22585f70b10323f",
"md5": "102e185a5375b3abbe9cd2434972668e",
"sha256": "c5c6ca02c048f66ece80fdd748efd679917ab8cc50afef011de1f346bdaba671"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp39-cp39-musllinux_1_2_x86_64.whl",
"has_sig": false,
"md5_digest": "102e185a5375b3abbe9cd2434972668e",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 3843859,
"upload_time": "2025-09-16T19:49:13",
"upload_time_iso_8601": "2025-09-16T19:49:13.598616Z",
"url": "https://files.pythonhosted.org/packages/05/21/01326173f66c5542abd1edd9717485cdf653be57a2acf22585f70b10323f/python_sat-1.8.dev21-cp39-cp39-musllinux_1_2_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "1b966118c5287d46832b132d2cde6c7e3e591bd55546d9647d7f7ea90bf8aa00",
"md5": "b8615184b7c2f1fe0628457b93248dcb",
"sha256": "d28828b91a1de42aad933216c6c91d2e36aa8556aed4a6c5b856b0e22c013816"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21-cp39-cp39-win_amd64.whl",
"has_sig": false,
"md5_digest": "b8615184b7c2f1fe0628457b93248dcb",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 1324746,
"upload_time": "2025-09-16T20:26:20",
"upload_time_iso_8601": "2025-09-16T20:26:20.547016Z",
"url": "https://files.pythonhosted.org/packages/1b/96/6118c5287d46832b132d2cde6c7e3e591bd55546d9647d7f7ea90bf8aa00/python_sat-1.8.dev21-cp39-cp39-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "7b5da46332506d9c9328aa33bf186ee185db1dd1be0588dad8b135f642d16e36",
"md5": "604b16578c1e47255220d60f44ae32a3",
"sha256": "000f13652eeb71cd7df419c0ab218690244d6e0024c904c6f49546c551d47472"
},
"downloads": -1,
"filename": "python_sat-1.8.dev21.tar.gz",
"has_sig": false,
"md5_digest": "604b16578c1e47255220d60f44ae32a3",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 5066458,
"upload_time": "2025-09-16T19:49:16",
"upload_time_iso_8601": "2025-09-16T19:49:16.108595Z",
"url": "https://files.pythonhosted.org/packages/7b/5d/a46332506d9c9328aa33bf186ee185db1dd1be0588dad8b135f642d16e36/python_sat-1.8.dev21.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2025-09-16 19:49:16",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "pysathq",
"github_project": "pysat",
"travis_ci": true,
"coveralls": false,
"github_actions": true,
"appveyor": true,
"requirements": [
{
"name": "py-aiger-cnf",
"specs": [
[
">=",
"2.0.0"
]
]
},
{
"name": "pypblib",
"specs": [
[
">=",
"0.0.3"
]
]
},
{
"name": "six",
"specs": []
}
],
"lcname": "python-sat"
}
JSON
