rustsat


Namerustsat JSON
Version 0.6.4 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_time2025-02-19 08:53:41
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/14/45/5993911360593d551a4a3e4456523cd8ce81b1493ad4a6d58d04dbb77930/rustsat-0.6.4.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.4",
    "project_urls": {
        "Source Code": "https://github.com/chrjabs/rustsat"
    },
    "split_keywords": [
        "sat",
        " satisfiability",
        " encodings"
    ],
    "urls": [
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "3732e9b2b50db0d380d1306e6e1a63f197269e49925f9df46111a1816e87c8e1",
                "md5": "354356a052e5e03c6a1960f71d3bd3dc",
                "sha256": "01ec4ac89fafd6b05ac66307c7740a967ce88be004e8abfeaa94fe8c3f4ded1d"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.4-cp37-abi3-macosx_10_12_x86_64.whl",
            "has_sig": false,
            "md5_digest": "354356a052e5e03c6a1960f71d3bd3dc",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 388803,
            "upload_time": "2025-02-19T08:53:40",
            "upload_time_iso_8601": "2025-02-19T08:53:40.428473Z",
            "url": "https://files.pythonhosted.org/packages/37/32/e9b2b50db0d380d1306e6e1a63f197269e49925f9df46111a1816e87c8e1/rustsat-0.6.4-cp37-abi3-macosx_10_12_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "10830130360762db84b870fede906fecc7375a0fe9184f080c236c6fd1879d71",
                "md5": "a3bf72337d655f812a909f194d08a92d",
                "sha256": "d10b548af1c4454ff72332d2475d2504ed81b136ef8d719ec46a4edda49ac155"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.4-cp37-abi3-macosx_11_0_arm64.whl",
            "has_sig": false,
            "md5_digest": "a3bf72337d655f812a909f194d08a92d",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 371127,
            "upload_time": "2025-02-19T08:53:37",
            "upload_time_iso_8601": "2025-02-19T08:53:37.235742Z",
            "url": "https://files.pythonhosted.org/packages/10/83/0130360762db84b870fede906fecc7375a0fe9184f080c236c6fd1879d71/rustsat-0.6.4-cp37-abi3-macosx_11_0_arm64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "45c512f59246bb27abde15cc2df74806dae429c3385d4d565097171a16624c7c",
                "md5": "9e4f27ad1e6e6211ba504b04cb0ef142",
                "sha256": "f895c33bc12444f277839919597210baff6da9bda980eeb2c490d92a7578a67b"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.4-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
            "has_sig": false,
            "md5_digest": "9e4f27ad1e6e6211ba504b04cb0ef142",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 429307,
            "upload_time": "2025-02-19T08:53:25",
            "upload_time_iso_8601": "2025-02-19T08:53:25.640760Z",
            "url": "https://files.pythonhosted.org/packages/45/c5/12f59246bb27abde15cc2df74806dae429c3385d4d565097171a16624c7c/rustsat-0.6.4-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "ef335f48afcc88d595454ef7a979654e8c4a24f4e3f3f10104fc3f8c0dc89c4c",
                "md5": "b7d05713cd44a2802cfeaad447b66513",
                "sha256": "712038fd8ab657d73467c96eae7bb079a5551475677e614c8772deaa1a78e6c8"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.4-cp37-abi3-manylinux_2_17_armv7l.manylinux2014_armv7l.whl",
            "has_sig": false,
            "md5_digest": "b7d05713cd44a2802cfeaad447b66513",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 429281,
            "upload_time": "2025-02-19T08:53:27",
            "upload_time_iso_8601": "2025-02-19T08:53:27.280641Z",
            "url": "https://files.pythonhosted.org/packages/ef/33/5f48afcc88d595454ef7a979654e8c4a24f4e3f3f10104fc3f8c0dc89c4c/rustsat-0.6.4-cp37-abi3-manylinux_2_17_armv7l.manylinux2014_armv7l.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "f9fc37c6b10ba3009a56c0e39dda455f5d3a755eaf854c24be4b2bf2510ab84d",
                "md5": "57bcb4bd8a2eee4018854ec8e1b31643",
                "sha256": "be4f4d69f9c5c6b228d221d6ec8ca0f045a128ed8cf2d702e7e2708f76d872de"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.4-cp37-abi3-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
            "has_sig": false,
            "md5_digest": "57bcb4bd8a2eee4018854ec8e1b31643",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 471033,
            "upload_time": "2025-02-19T08:53:29",
            "upload_time_iso_8601": "2025-02-19T08:53:29.853258Z",
            "url": "https://files.pythonhosted.org/packages/f9/fc/37c6b10ba3009a56c0e39dda455f5d3a755eaf854c24be4b2bf2510ab84d/rustsat-0.6.4-cp37-abi3-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "7d2b7aa32c6602dc720358bbf4eb188c98aeadf51deb02fd7468eb6d5dc287c6",
                "md5": "da60eae2c65e0503724dabdee2dc5d72",
                "sha256": "e8e6119fd41136c0a10f3cce3ac58271d3a6a928dbc91d9ced39bd5594e8df79"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.4-cp37-abi3-manylinux_2_17_s390x.manylinux2014_s390x.whl",
            "has_sig": false,
            "md5_digest": "da60eae2c65e0503724dabdee2dc5d72",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 482644,
            "upload_time": "2025-02-19T08:53:31",
            "upload_time_iso_8601": "2025-02-19T08:53:31.736495Z",
            "url": "https://files.pythonhosted.org/packages/7d/2b/7aa32c6602dc720358bbf4eb188c98aeadf51deb02fd7468eb6d5dc287c6/rustsat-0.6.4-cp37-abi3-manylinux_2_17_s390x.manylinux2014_s390x.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "d1430397a82675b19872d4665b99dd854d196ad0e0fbac9da42fd2a75e2ef500",
                "md5": "9674ce07aed285b40238acedebc12943",
                "sha256": "edeff21b3d7d2d48ccfbc513175add7e70255d36bb803b7270afeb2f23a2e0d1"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.4-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
            "has_sig": false,
            "md5_digest": "9674ce07aed285b40238acedebc12943",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 427650,
            "upload_time": "2025-02-19T08:53:34",
            "upload_time_iso_8601": "2025-02-19T08:53:34.837796Z",
            "url": "https://files.pythonhosted.org/packages/d1/43/0397a82675b19872d4665b99dd854d196ad0e0fbac9da42fd2a75e2ef500/rustsat-0.6.4-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "b3c74dd3192a95cec9cd500d70feabb999b437adf4b6a3abe458f77fe8faf0fe",
                "md5": "c63e14e2406084a316b90e8b97dda9dd",
                "sha256": "04ababb32e955f4d8f37e6ad9322a78569df6ed2abec4358c00d6c5531f97c2a"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.4-cp37-abi3-manylinux_2_5_i686.manylinux1_i686.whl",
            "has_sig": false,
            "md5_digest": "c63e14e2406084a316b90e8b97dda9dd",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 449538,
            "upload_time": "2025-02-19T08:53:33",
            "upload_time_iso_8601": "2025-02-19T08:53:33.294580Z",
            "url": "https://files.pythonhosted.org/packages/b3/c7/4dd3192a95cec9cd500d70feabb999b437adf4b6a3abe458f77fe8faf0fe/rustsat-0.6.4-cp37-abi3-manylinux_2_5_i686.manylinux1_i686.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "519a7037bc1d99f0a5336ef87aca2957535aadd72738f622504fa648d77fce87",
                "md5": "a650773b629e15f0ed9a75145a8dc20d",
                "sha256": "ba7a0701ee5d8d128155cdb85ac5427a26593de44bcef174970436f5518c1da6"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.4-cp37-abi3-win32.whl",
            "has_sig": false,
            "md5_digest": "a650773b629e15f0ed9a75145a8dc20d",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 255175,
            "upload_time": "2025-02-19T08:53:45",
            "upload_time_iso_8601": "2025-02-19T08:53:45.168222Z",
            "url": "https://files.pythonhosted.org/packages/51/9a/7037bc1d99f0a5336ef87aca2957535aadd72738f622504fa648d77fce87/rustsat-0.6.4-cp37-abi3-win32.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "d0a094fdc7e979078f57b96cade1d8aa1f04f2adc42bdbeaf0863b515c486c67",
                "md5": "3691f00b62cc8d13bdfe65b4a691943c",
                "sha256": "8851d326899294f9fca80882d5a45853b465759b120afc8641f2ef4cc2557a49"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.4-cp37-abi3-win_amd64.whl",
            "has_sig": false,
            "md5_digest": "3691f00b62cc8d13bdfe65b4a691943c",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 272570,
            "upload_time": "2025-02-19T08:53:43",
            "upload_time_iso_8601": "2025-02-19T08:53:43.273816Z",
            "url": "https://files.pythonhosted.org/packages/d0/a0/94fdc7e979078f57b96cade1d8aa1f04f2adc42bdbeaf0863b515c486c67/rustsat-0.6.4-cp37-abi3-win_amd64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "14455993911360593d551a4a3e4456523cd8ce81b1493ad4a6d58d04dbb77930",
                "md5": "0c6966bed69d216c221a9242d8178740",
                "sha256": "e3829ac570cbd6764fca7d24616bba004bb38051c8086c500068508c36eeed8a"
            },
            "downloads": -1,
            "filename": "rustsat-0.6.4.tar.gz",
            "has_sig": false,
            "md5_digest": "0c6966bed69d216c221a9242d8178740",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.7",
            "size": 186318,
            "upload_time": "2025-02-19T08:53:41",
            "upload_time_iso_8601": "2025-02-19T08:53:41.917683Z",
            "url": "https://files.pythonhosted.org/packages/14/45/5993911360593d551a4a3e4456523cd8ce81b1493ad4a6d58d04dbb77930/rustsat-0.6.4.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2025-02-19 08:53:41",
    "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: 1.93814s