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/fe/48/45465eccdaf8e476e4d04d2886fffd0489e37b84d1f420f73d865297830e/python-sat-1.8.dev18.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.dev18",
"project_urls": {
"Homepage": "https://github.com/pysathq/pysat"
},
"split_keywords": [],
"urls": [
{
"comment_text": null,
"digests": {
"blake2b_256": "1a623594898642c5f50ea50aaaeb706f8b2b22f0d135c6d461968890f58982fb",
"md5": "4865539691d866e353d2b43c1fee3893",
"sha256": "915b0a4251d18ca7135bf960c77246775f8f31a98079538948c07f45ea7c5531"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-cp310-cp310-macosx_15_0_arm64.whl",
"has_sig": false,
"md5_digest": "4865539691d866e353d2b43c1fee3893",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 1660111,
"upload_time": "2025-08-03T06:28:43",
"upload_time_iso_8601": "2025-08-03T06:28:43.785466Z",
"url": "https://files.pythonhosted.org/packages/1a/62/3594898642c5f50ea50aaaeb706f8b2b22f0d135c6d461968890f58982fb/python_sat-1.8.dev18-cp310-cp310-macosx_15_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "c5fb6d4aa57e98f3f5123eab149115114b6137955711c64c1dbc385a69f4fcf4",
"md5": "ada8470216104f53a38d076c68248cd9",
"sha256": "825a464920efd7b98750dc25560d85c88f1aa4f830a1b8670afb3c3f6e8a5ef7"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-cp310-cp310-win_amd64.whl",
"has_sig": false,
"md5_digest": "ada8470216104f53a38d076c68248cd9",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 1319579,
"upload_time": "2025-08-03T06:28:57",
"upload_time_iso_8601": "2025-08-03T06:28:57.410528Z",
"url": "https://files.pythonhosted.org/packages/c5/fb/6d4aa57e98f3f5123eab149115114b6137955711c64c1dbc385a69f4fcf4/python_sat-1.8.dev18-cp310-cp310-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "4846c50164017ee89f61cd501ccf3ad38cc759506238f3ce7c209b954726dc59",
"md5": "968d1d4dac61461b4131833d339002a4",
"sha256": "40b6e4b707290d24dd31bd7f49eb016b898447ec90565dcee0616744f0adacf7"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-cp311-cp311-macosx_15_0_arm64.whl",
"has_sig": false,
"md5_digest": "968d1d4dac61461b4131833d339002a4",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 1660199,
"upload_time": "2025-08-03T06:29:08",
"upload_time_iso_8601": "2025-08-03T06:29:08.020994Z",
"url": "https://files.pythonhosted.org/packages/48/46/c50164017ee89f61cd501ccf3ad38cc759506238f3ce7c209b954726dc59/python_sat-1.8.dev18-cp311-cp311-macosx_15_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "e2b11940a09e17f408bad63942402af4ba2d77c5ccbf643ccb43a0c6c4d0cef0",
"md5": "2ca982f5df94252bd66ff0fa750d20cb",
"sha256": "dbc9efd3ed1db9d76603b4cb06230eca0ff90541c3d844eaea67d8223d308d88"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-cp311-cp311-win_amd64.whl",
"has_sig": false,
"md5_digest": "2ca982f5df94252bd66ff0fa750d20cb",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 1319558,
"upload_time": "2025-08-03T06:29:23",
"upload_time_iso_8601": "2025-08-03T06:29:23.929081Z",
"url": "https://files.pythonhosted.org/packages/e2/b1/1940a09e17f408bad63942402af4ba2d77c5ccbf643ccb43a0c6c4d0cef0/python_sat-1.8.dev18-cp311-cp311-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "ad8abfd5520451992a12f96657074ee81570e9aba6582fd343705e638417065c",
"md5": "c07d83e23c50e7822277e00731670186",
"sha256": "2fda9ec648c09d71179e5d3f4809c9c5413632f21c9aefb642aee7f88fb0fa12"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-cp312-cp312-macosx_15_0_arm64.whl",
"has_sig": false,
"md5_digest": "c07d83e23c50e7822277e00731670186",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 1660167,
"upload_time": "2025-08-03T06:29:33",
"upload_time_iso_8601": "2025-08-03T06:29:33.330009Z",
"url": "https://files.pythonhosted.org/packages/ad/8a/bfd5520451992a12f96657074ee81570e9aba6582fd343705e638417065c/python_sat-1.8.dev18-cp312-cp312-macosx_15_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "846c27709a6a29a57fb1e0a59a463a55a6bb5c613a6fb8307e9684f4849cb3ff",
"md5": "09e113ebe8a22227eafbe213c1fa4515",
"sha256": "59a430889fe076c62274b166d6cf72bda1d476e836aa547a748e596cee464a5b"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-cp312-cp312-win_amd64.whl",
"has_sig": false,
"md5_digest": "09e113ebe8a22227eafbe213c1fa4515",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 1319674,
"upload_time": "2025-08-03T06:29:40",
"upload_time_iso_8601": "2025-08-03T06:29:40.220849Z",
"url": "https://files.pythonhosted.org/packages/84/6c/27709a6a29a57fb1e0a59a463a55a6bb5c613a6fb8307e9684f4849cb3ff/python_sat-1.8.dev18-cp312-cp312-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "762380605be874270275f40aff428c120d0ab4a1553d2a60301a6e8c0b6e259e",
"md5": "3e71f414389130f35d3e58939a5b608a",
"sha256": "b17e5ef202dcfef61ff9de3ef229a596390aa779bfc18aea1ddb18968cf1eaa3"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-cp313-cp313-macosx_15_0_arm64.whl",
"has_sig": false,
"md5_digest": "3e71f414389130f35d3e58939a5b608a",
"packagetype": "bdist_wheel",
"python_version": "cp313",
"requires_python": null,
"size": 1660134,
"upload_time": "2025-08-03T06:29:54",
"upload_time_iso_8601": "2025-08-03T06:29:54.507190Z",
"url": "https://files.pythonhosted.org/packages/76/23/80605be874270275f40aff428c120d0ab4a1553d2a60301a6e8c0b6e259e/python_sat-1.8.dev18-cp313-cp313-macosx_15_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "2ec5165e7a9abf09c4788409d01749ebb25c25b9d415e399f3cb2d981274ef76",
"md5": "8efa1d98472cec354401a6774154d184",
"sha256": "cfbd98c647bab4c6d3e95177e79e6e21290111f5734ac459250517f549fd8988"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-cp313-cp313-win_amd64.whl",
"has_sig": false,
"md5_digest": "8efa1d98472cec354401a6774154d184",
"packagetype": "bdist_wheel",
"python_version": "cp313",
"requires_python": null,
"size": 1319691,
"upload_time": "2025-08-03T06:30:07",
"upload_time_iso_8601": "2025-08-03T06:30:07.073771Z",
"url": "https://files.pythonhosted.org/packages/2e/c5/165e7a9abf09c4788409d01749ebb25c25b9d415e399f3cb2d981274ef76/python_sat-1.8.dev18-cp313-cp313-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "e2cb47ed51052de8808ab4af4f011919f530bd35f0a9c9ae2c6d8304b8ee290a",
"md5": "94cd1ff9d261e62a27a38ecfa8306dd3",
"sha256": "b324609fb5b01441323d13e6d9e01efc675aee646589f521f7ee7642f3431f60"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-cp37-cp37m-win_amd64.whl",
"has_sig": false,
"md5_digest": "94cd1ff9d261e62a27a38ecfa8306dd3",
"packagetype": "bdist_wheel",
"python_version": "cp37",
"requires_python": null,
"size": 1319462,
"upload_time": "2025-08-03T06:30:16",
"upload_time_iso_8601": "2025-08-03T06:30:16.926609Z",
"url": "https://files.pythonhosted.org/packages/e2/cb/47ed51052de8808ab4af4f011919f530bd35f0a9c9ae2c6d8304b8ee290a/python_sat-1.8.dev18-cp37-cp37m-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "d773d811ab1851519b00cf2218c42dc869e1a50edd4b51f871bfca7196de5f0e",
"md5": "385079d6b77d63e3550f551e421f36fc",
"sha256": "a8defa1c72b64f0a8a53d7c9cb5c28eadc9249f0266a8b0e0e46945ecdc398a3"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-cp38-cp38-win_amd64.whl",
"has_sig": false,
"md5_digest": "385079d6b77d63e3550f551e421f36fc",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 1319964,
"upload_time": "2025-08-03T06:30:24",
"upload_time_iso_8601": "2025-08-03T06:30:24.837365Z",
"url": "https://files.pythonhosted.org/packages/d7/73/d811ab1851519b00cf2218c42dc869e1a50edd4b51f871bfca7196de5f0e/python_sat-1.8.dev18-cp38-cp38-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "1cd7d232fad6e91e2752b96c514df0de62a4a616e15e950ea29a2415647088b6",
"md5": "9dfe27be6bca7694ee6ed74c06b068a4",
"sha256": "8939e70f6a3362aa22b4081fd2e5fb812d0f1f2d2c77888f5f6fdef19cdc0120"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-cp39-cp39-macosx_15_0_arm64.whl",
"has_sig": false,
"md5_digest": "9dfe27be6bca7694ee6ed74c06b068a4",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 1660097,
"upload_time": "2025-08-03T06:30:35",
"upload_time_iso_8601": "2025-08-03T06:30:35.862547Z",
"url": "https://files.pythonhosted.org/packages/1c/d7/d232fad6e91e2752b96c514df0de62a4a616e15e950ea29a2415647088b6/python_sat-1.8.dev18-cp39-cp39-macosx_15_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "e8bdcdb0209b12e4e9eb6ae9df278165c18aaa15820e90bc6aea34ff0811b1a1",
"md5": "d766d48222838c05e08084a7e20c2e45",
"sha256": "3ec55f71b51ea13eb084f1f0845c85004fc81903dc4f25733c295b52f1431776"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-cp39-cp39-win_amd64.whl",
"has_sig": false,
"md5_digest": "d766d48222838c05e08084a7e20c2e45",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 1320060,
"upload_time": "2025-08-03T06:30:43",
"upload_time_iso_8601": "2025-08-03T06:30:43.018898Z",
"url": "https://files.pythonhosted.org/packages/e8/bd/cdb0209b12e4e9eb6ae9df278165c18aaa15820e90bc6aea34ff0811b1a1/python_sat-1.8.dev18-cp39-cp39-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "ce181bcd988efab7144e7fd14e70e7c2b63db740bd57c74b89149da5831fc8ef",
"md5": "59e1ec62fc6fc1186464f15c7144ffd6",
"sha256": "4b92b31d6ace6b1c672a02e495b5158e8e5e9428427a7781b155edbd372ef4fd"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-pp310-pypy310_pp73-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "59e1ec62fc6fc1186464f15c7144ffd6",
"packagetype": "bdist_wheel",
"python_version": "pp310",
"requires_python": null,
"size": 1694364,
"upload_time": "2025-08-03T06:31:04",
"upload_time_iso_8601": "2025-08-03T06:31:04.421274Z",
"url": "https://files.pythonhosted.org/packages/ce/18/1bcd988efab7144e7fd14e70e7c2b63db740bd57c74b89149da5831fc8ef/python_sat-1.8.dev18-pp310-pypy310_pp73-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "08a9df882c08ae80d5f3ef4ceb0fa27eb135a4b01bafc6cc79bc05a7c4a2a230",
"md5": "43c2314f0bdac717515c79f82bb4a4f6",
"sha256": "2b362a936c8600b1ea9c819397fa271678bf577c964b71dd9e870b195c22d044"
},
"downloads": -1,
"filename": "python_sat-1.8.dev18-pp39-pypy39_pp73-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "43c2314f0bdac717515c79f82bb4a4f6",
"packagetype": "bdist_wheel",
"python_version": "pp39",
"requires_python": null,
"size": 1694377,
"upload_time": "2025-08-03T06:30:53",
"upload_time_iso_8601": "2025-08-03T06:30:53.871134Z",
"url": "https://files.pythonhosted.org/packages/08/a9/df882c08ae80d5f3ef4ceb0fa27eb135a4b01bafc6cc79bc05a7c4a2a230/python_sat-1.8.dev18-pp39-pypy39_pp73-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "fe4845465eccdaf8e476e4d04d2886fffd0489e37b84d1f420f73d865297830e",
"md5": "b40a886e66e45c3189a64b90c0bdfff0",
"sha256": "ea48773c6e962597a80309901eeb878e05e4d31a2a5e77d1daa7951a87a62715"
},
"downloads": -1,
"filename": "python-sat-1.8.dev18.tar.gz",
"has_sig": false,
"md5_digest": "b40a886e66e45c3189a64b90c0bdfff0",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 5692854,
"upload_time": "2025-08-03T06:28:11",
"upload_time_iso_8601": "2025-08-03T06:28:11.326528Z",
"url": "https://files.pythonhosted.org/packages/fe/48/45465eccdaf8e476e4d04d2886fffd0489e37b84d1f420f73d865297830e/python-sat-1.8.dev18.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2025-08-03 06:28:11",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "pysathq",
"github_project": "pysat",
"travis_ci": true,
"coveralls": false,
"github_actions": false,
"appveyor": true,
"requirements": [
{
"name": "py-aiger-cnf",
"specs": [
[
">=",
"2.0.0"
]
]
},
{
"name": "pypblib",
"specs": [
[
">=",
"0.0.3"
]
]
},
{
"name": "six",
"specs": []
}
],
"lcname": "python-sat"
}
JSON
