python-sat


Namepython-sat JSON
Version 1.8.dev6 PyPI version JSON
download
home_pagehttps://github.com/pysathq/pysat
SummaryA Python library for prototyping with SAT oracles
upload_time2024-03-27 05:21:16
maintainerNone
docs_urlNone
authorAlexey Ignatiev, Joao Marques-Silva, Antonio Morgado
requires_pythonNone
licenseMIT
keywords
VCS
bugtrack_url
requirements py-aiger-cnf pypblib six
Travis-CI
coveralls test coverage No coveralls.
            
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/9f/98/a8e128da98eff2c01513a0e07b4e8c25afabfd7127d5804d228ba8b63d46/python-sat-1.8.dev6.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.dev6",
    "project_urls": {
        "Homepage": "https://github.com/pysathq/pysat"
    },
    "split_keywords": [],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "21f58fd2f1938c08128aacfdb21976a811286bb8092c686ee67d9dfa29f0741a",
                "md5": "89f92bdd972081a545995d20c71cba08",
                "sha256": "f9110ce541ae2f8c49a025dc86bfe257efa77827f7783d04337e348d2663210f"
            },
            "downloads": -1,
            "filename": "python_sat-1.8.dev6-cp310-cp310-macosx_14_0_arm64.whl",
            "has_sig": false,
            "md5_digest": "89f92bdd972081a545995d20c71cba08",
            "packagetype": "bdist_wheel",
            "python_version": "cp310",
            "requires_python": null,
            "size": 1611919,
            "upload_time": "2024-03-27T05:20:29",
            "upload_time_iso_8601": "2024-03-27T05:20:29.797104Z",
            "url": "https://files.pythonhosted.org/packages/21/f5/8fd2f1938c08128aacfdb21976a811286bb8092c686ee67d9dfa29f0741a/python_sat-1.8.dev6-cp310-cp310-macosx_14_0_arm64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "056fbf04c1bb1b61df88c60981e9dab45ce2b0ad942c83922afe1349aabe3922",
                "md5": "217005619e7dd63208977a39af61bc4b",
                "sha256": "e74a67879e96e381e4e0fcfde7811454ab40af7b58e54370d2d2034623a772b2"
            },
            "downloads": -1,
            "filename": "python_sat-1.8.dev6-cp310-cp310-win_amd64.whl",
            "has_sig": false,
            "md5_digest": "217005619e7dd63208977a39af61bc4b",
            "packagetype": "bdist_wheel",
            "python_version": "cp310",
            "requires_python": null,
            "size": 1284638,
            "upload_time": "2024-03-27T05:20:34",
            "upload_time_iso_8601": "2024-03-27T05:20:34.040338Z",
            "url": "https://files.pythonhosted.org/packages/05/6f/bf04c1bb1b61df88c60981e9dab45ce2b0ad942c83922afe1349aabe3922/python_sat-1.8.dev6-cp310-cp310-win_amd64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "7d3caa92f592ab7c74df6f6e418aa64ea4ffbe8ad940e49afe13d4ee8105363c",
                "md5": "e2681a3cfea213eaa45b467ebca0939d",
                "sha256": "5f74b9ae3f03a89630a80f758e1f3e91558c5d5e862579acfc2ce6cb867c144d"
            },
            "downloads": -1,
            "filename": "python_sat-1.8.dev6-cp311-cp311-macosx_14_0_arm64.whl",
            "has_sig": false,
            "md5_digest": "e2681a3cfea213eaa45b467ebca0939d",
            "packagetype": "bdist_wheel",
            "python_version": "cp311",
            "requires_python": null,
            "size": 1611919,
            "upload_time": "2024-03-27T05:20:37",
            "upload_time_iso_8601": "2024-03-27T05:20:37.377422Z",
            "url": "https://files.pythonhosted.org/packages/7d/3c/aa92f592ab7c74df6f6e418aa64ea4ffbe8ad940e49afe13d4ee8105363c/python_sat-1.8.dev6-cp311-cp311-macosx_14_0_arm64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "002c2154f12c0a662374db06df220f3fb69e7eff04e4d03e4f18277156281137",
                "md5": "0fb4190c78ddc264775f6336792a0611",
                "sha256": "ca0d35f50d09dff2949cceffd3461fd4a0f1b30222a946453ffa385db72d9261"
            },
            "downloads": -1,
            "filename": "python_sat-1.8.dev6-cp311-cp311-win_amd64.whl",
            "has_sig": false,
            "md5_digest": "0fb4190c78ddc264775f6336792a0611",
            "packagetype": "bdist_wheel",
            "python_version": "cp311",
            "requires_python": null,
            "size": 1284642,
            "upload_time": "2024-03-27T05:20:41",
            "upload_time_iso_8601": "2024-03-27T05:20:41.896406Z",
            "url": "https://files.pythonhosted.org/packages/00/2c/2154f12c0a662374db06df220f3fb69e7eff04e4d03e4f18277156281137/python_sat-1.8.dev6-cp311-cp311-win_amd64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "f22491106f3c1a30eb8c37c473687b6b69615cf0eddb308cf70d0020d51d57a7",
                "md5": "761d58dd1dfcde6327b13a7469850415",
                "sha256": "4132a3c06f9221d0bebd2c6874098d5c8a639517fddec4c636582c35bdc35539"
            },
            "downloads": -1,
            "filename": "python_sat-1.8.dev6-cp312-cp312-macosx_14_0_arm64.whl",
            "has_sig": false,
            "md5_digest": "761d58dd1dfcde6327b13a7469850415",
            "packagetype": "bdist_wheel",
            "python_version": "cp312",
            "requires_python": null,
            "size": 1612069,
            "upload_time": "2024-03-27T05:20:45",
            "upload_time_iso_8601": "2024-03-27T05:20:45.015716Z",
            "url": "https://files.pythonhosted.org/packages/f2/24/91106f3c1a30eb8c37c473687b6b69615cf0eddb308cf70d0020d51d57a7/python_sat-1.8.dev6-cp312-cp312-macosx_14_0_arm64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "4cdcdebc0a53a4629f5ec2bc049def0715d256a61288b354585ef0f8724229e6",
                "md5": "d94240958b182f03f22f985e2730ce47",
                "sha256": "87aef0948d29a00eaf8618f3470c46e4803704414f017446445d9eafe8d9e4f2"
            },
            "downloads": -1,
            "filename": "python_sat-1.8.dev6-cp312-cp312-win_amd64.whl",
            "has_sig": false,
            "md5_digest": "d94240958b182f03f22f985e2730ce47",
            "packagetype": "bdist_wheel",
            "python_version": "cp312",
            "requires_python": null,
            "size": 1284733,
            "upload_time": "2024-03-27T05:20:49",
            "upload_time_iso_8601": "2024-03-27T05:20:49.744353Z",
            "url": "https://files.pythonhosted.org/packages/4c/dc/debc0a53a4629f5ec2bc049def0715d256a61288b354585ef0f8724229e6/python_sat-1.8.dev6-cp312-cp312-win_amd64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "656157b3ae9424aaa9e27b19df609e99d3f41983f45c091471eb53beb90fe7e0",
                "md5": "b0c286c2849c22cd9a66a42424c0c5ec",
                "sha256": "d47a5816bd6100cadef1b3989e889f2323b618fcf48524e03c7ca7f39f62fc99"
            },
            "downloads": -1,
            "filename": "python_sat-1.8.dev6-cp37-cp37m-win_amd64.whl",
            "has_sig": false,
            "md5_digest": "b0c286c2849c22cd9a66a42424c0c5ec",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": null,
            "size": 1284693,
            "upload_time": "2024-03-27T05:20:52",
            "upload_time_iso_8601": "2024-03-27T05:20:52.257068Z",
            "url": "https://files.pythonhosted.org/packages/65/61/57b3ae9424aaa9e27b19df609e99d3f41983f45c091471eb53beb90fe7e0/python_sat-1.8.dev6-cp37-cp37m-win_amd64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "a7c76100b2d462331eefb78e2b995b80a9aba27c0d469ddb6561ae0f88732b5b",
                "md5": "e35f3b9a9152d0d1bf500aac4b7ae6c5",
                "sha256": "57e38e3dc2904e69cad95b925c2ebbfb2c075851e13bacc86425b6ea713e3b66"
            },
            "downloads": -1,
            "filename": "python_sat-1.8.dev6-cp38-cp38-macosx_14_0_arm64.whl",
            "has_sig": false,
            "md5_digest": "e35f3b9a9152d0d1bf500aac4b7ae6c5",
            "packagetype": "bdist_wheel",
            "python_version": "cp38",
            "requires_python": null,
            "size": 1611916,
            "upload_time": "2024-03-27T05:20:55",
            "upload_time_iso_8601": "2024-03-27T05:20:55.806086Z",
            "url": "https://files.pythonhosted.org/packages/a7/c7/6100b2d462331eefb78e2b995b80a9aba27c0d469ddb6561ae0f88732b5b/python_sat-1.8.dev6-cp38-cp38-macosx_14_0_arm64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "c644e230c0cd84f9495e933ab721667273fe6442f1da19d445b773b9dde6a238",
                "md5": "332c37b107c674b9a05c983ffbd71ca3",
                "sha256": "4ef3199a2938bcc83d111fa23b6a021195e3205398a96f74d459fe93d8becd60"
            },
            "downloads": -1,
            "filename": "python_sat-1.8.dev6-cp38-cp38-win_amd64.whl",
            "has_sig": false,
            "md5_digest": "332c37b107c674b9a05c983ffbd71ca3",
            "packagetype": "bdist_wheel",
            "python_version": "cp38",
            "requires_python": null,
            "size": 1285343,
            "upload_time": "2024-03-27T05:20:59",
            "upload_time_iso_8601": "2024-03-27T05:20:59.027714Z",
            "url": "https://files.pythonhosted.org/packages/c6/44/e230c0cd84f9495e933ab721667273fe6442f1da19d445b773b9dde6a238/python_sat-1.8.dev6-cp38-cp38-win_amd64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "699fe88d0d3c002bb4eaeff4e3ec87f92b6479a911625c83421270b25cd013bc",
                "md5": "a5b45e88b9385f3beb98cc581fc035fa",
                "sha256": "105ca746306a8d01f52ce2668e2d1bb87876b5326c72ae63d4487f1e797a1b88"
            },
            "downloads": -1,
            "filename": "python_sat-1.8.dev6-cp39-cp39-macosx_14_0_arm64.whl",
            "has_sig": false,
            "md5_digest": "a5b45e88b9385f3beb98cc581fc035fa",
            "packagetype": "bdist_wheel",
            "python_version": "cp39",
            "requires_python": null,
            "size": 1611910,
            "upload_time": "2024-03-27T05:21:01",
            "upload_time_iso_8601": "2024-03-27T05:21:01.441465Z",
            "url": "https://files.pythonhosted.org/packages/69/9f/e88d0d3c002bb4eaeff4e3ec87f92b6479a911625c83421270b25cd013bc/python_sat-1.8.dev6-cp39-cp39-macosx_14_0_arm64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "d9dcaf6892c907df57503516da225252f9c37de3221d41daf2684bd497e0d759",
                "md5": "806e640cec0db24d7e0a2c0811a64b15",
                "sha256": "b253a3975a490d9318a01fb71a15a4f171ed5f226ddebb8f99d6a8436a33edb9"
            },
            "downloads": -1,
            "filename": "python_sat-1.8.dev6-cp39-cp39-win_amd64.whl",
            "has_sig": false,
            "md5_digest": "806e640cec0db24d7e0a2c0811a64b15",
            "packagetype": "bdist_wheel",
            "python_version": "cp39",
            "requires_python": null,
            "size": 1285341,
            "upload_time": "2024-03-27T05:21:03",
            "upload_time_iso_8601": "2024-03-27T05:21:03.872938Z",
            "url": "https://files.pythonhosted.org/packages/d9/dc/af6892c907df57503516da225252f9c37de3221d41daf2684bd497e0d759/python_sat-1.8.dev6-cp39-cp39-win_amd64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "d825202717c4f5f5b65cfef6959b1da34a52aff9027431671ad7830811ebef39",
                "md5": "460e9c4d5486bd876d871fae66595d4b",
                "sha256": "4f43da4bdfe20b4bd1eee597b8c6b3539b45b7cc6b673e0e8eae835c618b483f"
            },
            "downloads": -1,
            "filename": "python_sat-1.8.dev6-pp310-pypy310_pp73-macosx_11_0_arm64.whl",
            "has_sig": false,
            "md5_digest": "460e9c4d5486bd876d871fae66595d4b",
            "packagetype": "bdist_wheel",
            "python_version": "pp310",
            "requires_python": null,
            "size": 1602339,
            "upload_time": "2024-03-27T05:21:06",
            "upload_time_iso_8601": "2024-03-27T05:21:06.758884Z",
            "url": "https://files.pythonhosted.org/packages/d8/25/202717c4f5f5b65cfef6959b1da34a52aff9027431671ad7830811ebef39/python_sat-1.8.dev6-pp310-pypy310_pp73-macosx_11_0_arm64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "bd5e44b380502c12fbbbeb38e70ad784180286534360c01397ad4a7f544c5a5b",
                "md5": "a08d7d7e63ee229f323b54808353949c",
                "sha256": "268c2be425fce2061811adaa8134b6f7a8fa78647349d7b3c033a2104c7d9a23"
            },
            "downloads": -1,
            "filename": "python_sat-1.8.dev6-pp39-pypy39_pp73-macosx_11_0_arm64.whl",
            "has_sig": false,
            "md5_digest": "a08d7d7e63ee229f323b54808353949c",
            "packagetype": "bdist_wheel",
            "python_version": "pp39",
            "requires_python": null,
            "size": 1602326,
            "upload_time": "2024-03-27T05:21:10",
            "upload_time_iso_8601": "2024-03-27T05:21:10.142286Z",
            "url": "https://files.pythonhosted.org/packages/bd/5e/44b380502c12fbbbeb38e70ad784180286534360c01397ad4a7f544c5a5b/python_sat-1.8.dev6-pp39-pypy39_pp73-macosx_11_0_arm64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "9f98a8e128da98eff2c01513a0e07b4e8c25afabfd7127d5804d228ba8b63d46",
                "md5": "cc0cc887ddbf70c86c48a1182a0ea882",
                "sha256": "2ca77496dcc1996950e6fd1cf6b3892f97423f698ae5e2b9fa32d5aea41bb543"
            },
            "downloads": -1,
            "filename": "python-sat-1.8.dev6.tar.gz",
            "has_sig": false,
            "md5_digest": "cc0cc887ddbf70c86c48a1182a0ea882",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 5676724,
            "upload_time": "2024-03-27T05:21:16",
            "upload_time_iso_8601": "2024-03-27T05:21:16.442288Z",
            "url": "https://files.pythonhosted.org/packages/9f/98/a8e128da98eff2c01513a0e07b4e8c25afabfd7127d5804d228ba8b63d46/python-sat-1.8.dev6.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2024-03-27 05:21:16",
    "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"
}
        
Elapsed time: 0.23412s