rustsat


Namerustsat JSON
Version 0.6.3 PyPI version JSON
download
home_pageNone
SummaryThis library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
upload_time2024-12-20 14:42:39
maintainerNone
docs_urlNone
authorChristoph Jabs <christoph.jabs@helsinki.fi>
requires_python>=3.7
licenseMIT
keywords sat satisfiability encodings
VCS
bugtrack_url
requirements No requirements were recorded.
Travis-CI No Travis.
coveralls test coverage No coveralls.
            [![Build & Test](https://github.com/chrjabs/rustsat/actions/workflows/pyapi.yml/badge.svg)](https://github.com/chrjabs/rustsat/actions/workflows/pyapi.yml)
[![PyPI](https://img.shields.io/pypi/v/rustsat)](https://pypi.org/project/rustsat)
[![License](https://img.shields.io/crates/l/rustsat)](./LICENSE)

<!-- cargo-rdme start -->

# Python API for RustSAT

This is the Python API for RustSAT. Currently this API is very minimal and
not the focus of this project. For now, only the API of certain encodings is
available.

## Installation

The Python bindings can be installed from [PyPI](https://pypi.org/project/rustsat/).

## Documentation

Documentation for this API can be found [here](https://christophjabs.info/rustsat/pyapi/).

<!-- cargo-rdme end -->


            

Raw data

            {
    "_id": null,
    "home_page": null,
    "name": "rustsat",
    "maintainer": null,
    "docs_url": null,
    "requires_python": ">=3.7",
    "maintainer_email": null,
    "keywords": "sat, satisfiability, encodings",
    "author": "Christoph Jabs <christoph.jabs@helsinki.fi>",
    "author_email": "Christoph Jabs <christoph.jabs@helsinki.fi>",
    "download_url": "https://files.pythonhosted.org/packages/fc/ab/a7a41e4257b11c112066fb13c94c879dac507fdba30fd5c03df89fc1d5b3/rustsat-0.6.3.tar.gz",
    "platform": null,
    "description": "[![Build & Test](https://github.com/chrjabs/rustsat/actions/workflows/pyapi.yml/badge.svg)](https://github.com/chrjabs/rustsat/actions/workflows/pyapi.yml)\n[![PyPI](https://img.shields.io/pypi/v/rustsat)](https://pypi.org/project/rustsat)\n[![License](https://img.shields.io/crates/l/rustsat)](./LICENSE)\n\n<!-- cargo-rdme start -->\n\n# Python API for RustSAT\n\nThis is the Python API for RustSAT. Currently this API is very minimal and\nnot the focus of this project. For now, only the API of certain encodings is\navailable.\n\n## Installation\n\nThe Python bindings can be installed from [PyPI](https://pypi.org/project/rustsat/).\n\n## Documentation\n\nDocumentation for this API can be found [here](https://christophjabs.info/rustsat/pyapi/).\n\n<!-- cargo-rdme end -->\n\n",
    "bugtrack_url": null,
    "license": "MIT",
    "summary": "This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.",
    "version": "0.6.3",
    "project_urls": {
        "Source Code": "https://github.com/chrjabs/rustsat"
    },
    "split_keywords": [
        "sat",
        " satisfiability",
        " encodings"
    ],
    "urls": [
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "1e68a16fac7fa445ff78e9646dcea130af245ca6ead81421c948b628b7719f56",
                "md5": "a04b459e4c189c7e09ba7b7afb1e158b",
                "sha256": "1b47d632b42d7f304511f9d56ce417810eff91fb7dca21c5fe680cc9fbf6bf4c"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.3-cp37-abi3-macosx_10_12_x86_64.whl",
            "has_sig": false,
            "md5_digest": "a04b459e4c189c7e09ba7b7afb1e158b",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 389195,
            "upload_time": "2024-12-20T14:42:37",
            "upload_time_iso_8601": "2024-12-20T14:42:37.173573Z",
            "url": "https://files.pythonhosted.org/packages/1e/68/a16fac7fa445ff78e9646dcea130af245ca6ead81421c948b628b7719f56/rustsat-0.6.3-cp37-abi3-macosx_10_12_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "8f53989e0f278091068add1c4ecacb5376b7ca0a7264e52e80bc9eeb38ace904",
                "md5": "d6c52d1bbf570c9bd94716db5643e71c",
                "sha256": "fa02e4ee8feb6dc44577caf2323b3bcf8fa8066cbf289d392f24a770f70754c8"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.3-cp37-abi3-macosx_11_0_arm64.whl",
            "has_sig": false,
            "md5_digest": "d6c52d1bbf570c9bd94716db5643e71c",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 373009,
            "upload_time": "2024-12-20T14:42:35",
            "upload_time_iso_8601": "2024-12-20T14:42:35.826374Z",
            "url": "https://files.pythonhosted.org/packages/8f/53/989e0f278091068add1c4ecacb5376b7ca0a7264e52e80bc9eeb38ace904/rustsat-0.6.3-cp37-abi3-macosx_11_0_arm64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "743271ae098ff7a0489decb1ae20f9441073fbfd92b12d5be1e31067fa38a10e",
                "md5": "db2f2555b968060ef905bd125ba5484f",
                "sha256": "5ed77315f506b47df25d524ba3cf40bc2962671a9609a39f87a631398f8bc2c6"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.3-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
            "has_sig": false,
            "md5_digest": "db2f2555b968060ef905bd125ba5484f",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 430489,
            "upload_time": "2024-12-20T14:42:24",
            "upload_time_iso_8601": "2024-12-20T14:42:24.825023Z",
            "url": "https://files.pythonhosted.org/packages/74/32/71ae098ff7a0489decb1ae20f9441073fbfd92b12d5be1e31067fa38a10e/rustsat-0.6.3-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "6f268bddddcbf4a16ff2c5763f0e8d61ac214dc4ffbb728628cec2c64aa8a744",
                "md5": "23a84825da471e5f5b55135c67e6c6e1",
                "sha256": "b0edb413bc1d751fc447aa7f469ac7161ad972cccc58f3c72ac591932503baf6"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.3-cp37-abi3-manylinux_2_17_armv7l.manylinux2014_armv7l.whl",
            "has_sig": false,
            "md5_digest": "23a84825da471e5f5b55135c67e6c6e1",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 433840,
            "upload_time": "2024-12-20T14:42:27",
            "upload_time_iso_8601": "2024-12-20T14:42:27.371640Z",
            "url": "https://files.pythonhosted.org/packages/6f/26/8bddddcbf4a16ff2c5763f0e8d61ac214dc4ffbb728628cec2c64aa8a744/rustsat-0.6.3-cp37-abi3-manylinux_2_17_armv7l.manylinux2014_armv7l.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "ea69612f6fe800ed713b1660ff20c2b6fe2f0927d990cee279be30c110a2dbe9",
                "md5": "f47b634c0f083cd9bb8a9ab0b2df4494",
                "sha256": "f8e5ac0b356c1fc30cdb960b536059412aad93417283cc1fe13aa1be046d099c"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.3-cp37-abi3-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
            "has_sig": false,
            "md5_digest": "f47b634c0f083cd9bb8a9ab0b2df4494",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 473243,
            "upload_time": "2024-12-20T14:42:29",
            "upload_time_iso_8601": "2024-12-20T14:42:29.556256Z",
            "url": "https://files.pythonhosted.org/packages/ea/69/612f6fe800ed713b1660ff20c2b6fe2f0927d990cee279be30c110a2dbe9/rustsat-0.6.3-cp37-abi3-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "155ce3fdeabd66541fd743e4aa1e889fcac949ba8d525c1b8f09246152489ba7",
                "md5": "98331edf048bbf8442a949d2af5d012b",
                "sha256": "9175a8ddef1277637a0717c1dab61d41395cbedb40639c2383fbd7f83c42c499"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.3-cp37-abi3-manylinux_2_17_s390x.manylinux2014_s390x.whl",
            "has_sig": false,
            "md5_digest": "98331edf048bbf8442a949d2af5d012b",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 482903,
            "upload_time": "2024-12-20T14:42:30",
            "upload_time_iso_8601": "2024-12-20T14:42:30.867492Z",
            "url": "https://files.pythonhosted.org/packages/15/5c/e3fdeabd66541fd743e4aa1e889fcac949ba8d525c1b8f09246152489ba7/rustsat-0.6.3-cp37-abi3-manylinux_2_17_s390x.manylinux2014_s390x.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "556042684e21702b6cbfc8c88c254c4ba9d041c7fb32dc4713122b86b84541ca",
                "md5": "281da216027f188922de46dbe2668da7",
                "sha256": "fee2af9d05183853c21d053c6eeb4812d72042b86a1e0808f88784c51fb0b9eb"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.3-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
            "has_sig": false,
            "md5_digest": "281da216027f188922de46dbe2668da7",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 428888,
            "upload_time": "2024-12-20T14:42:34",
            "upload_time_iso_8601": "2024-12-20T14:42:34.542922Z",
            "url": "https://files.pythonhosted.org/packages/55/60/42684e21702b6cbfc8c88c254c4ba9d041c7fb32dc4713122b86b84541ca/rustsat-0.6.3-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "d6e0ef97364e301643b18ec7cdfad6b48034a2928a2186fd03853182cc439cf8",
                "md5": "38047bce59331cd4a729d497b53c0cbc",
                "sha256": "b1c3b0819af2a0198af2dca4abccf544e88e5c26569f0ec2ec8e5bf51db5c4a7"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.3-cp37-abi3-manylinux_2_5_i686.manylinux1_i686.whl",
            "has_sig": false,
            "md5_digest": "38047bce59331cd4a729d497b53c0cbc",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 452858,
            "upload_time": "2024-12-20T14:42:32",
            "upload_time_iso_8601": "2024-12-20T14:42:32.526371Z",
            "url": "https://files.pythonhosted.org/packages/d6/e0/ef97364e301643b18ec7cdfad6b48034a2928a2186fd03853182cc439cf8/rustsat-0.6.3-cp37-abi3-manylinux_2_5_i686.manylinux1_i686.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "0893a4c558e2064bc8c32c2ed1d8b0430d53586d7eb66ac2ddd6478646dfeca1",
                "md5": "69419d1ad3b0363079a3683ced0eb0df",
                "sha256": "623e35200497ce933358269a961d743575ab1cf2c591b7d745e9dcf675197a3d"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.3-cp37-abi3-win32.whl",
            "has_sig": false,
            "md5_digest": "69419d1ad3b0363079a3683ced0eb0df",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 258110,
            "upload_time": "2024-12-20T14:42:44",
            "upload_time_iso_8601": "2024-12-20T14:42:44.870852Z",
            "url": "https://files.pythonhosted.org/packages/08/93/a4c558e2064bc8c32c2ed1d8b0430d53586d7eb66ac2ddd6478646dfeca1/rustsat-0.6.3-cp37-abi3-win32.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "cb429dd954f80e70760a8adf212b67402f600d2e5870f5fcaaf680387e755659",
                "md5": "581568d246fa158d739fa195c8301102",
                "sha256": "865258bee0fe7ac0f8f9e3f20a742d9d9841d0896d19a84922452a746e3e1531"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.3-cp37-abi3-win_amd64.whl",
            "has_sig": false,
            "md5_digest": "581568d246fa158d739fa195c8301102",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 273582,
            "upload_time": "2024-12-20T14:42:42",
            "upload_time_iso_8601": "2024-12-20T14:42:42.315885Z",
            "url": "https://files.pythonhosted.org/packages/cb/42/9dd954f80e70760a8adf212b67402f600d2e5870f5fcaaf680387e755659/rustsat-0.6.3-cp37-abi3-win_amd64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "fcaba7a41e4257b11c112066fb13c94c879dac507fdba30fd5c03df89fc1d5b3",
                "md5": "cfc433b9d7644f1dff000fb69c3dc5d0",
                "sha256": "a6c7174166d9fa78e465fc0150b59f6fba9651c3b81d039051c250d4c6648a88"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.3.tar.gz",
            "has_sig": false,
            "md5_digest": "cfc433b9d7644f1dff000fb69c3dc5d0",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.7",
            "size": 185226,
            "upload_time": "2024-12-20T14:42:39",
            "upload_time_iso_8601": "2024-12-20T14:42:39.849644Z",
            "url": "https://files.pythonhosted.org/packages/fc/ab/a7a41e4257b11c112066fb13c94c879dac507fdba30fd5c03df89fc1d5b3/rustsat-0.6.3.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2024-12-20 14:42:39",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "chrjabs",
    "github_project": "rustsat",
    "travis_ci": false,
    "coveralls": false,
    "github_actions": true,
    "lcname": "rustsat"
}
        
Elapsed time: 0.43103s