rustsat

Name	rustsat JSON
Version	0.5.1 JSON
	download
home_page	None
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.
upload_time	2024-06-12 05:38:59
maintainer	None
docs_url	None
author	Christoph Jabs <christoph.jabs@helsinki.fi>
requires_python	>=3.7
license	MIT
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/82/04/d4a8825bbcb6070fb7f8eca1d8a61f5bf81dfd54c60131353b07768bb894/rustsat-0.5.1.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.5.1",
    "project_urls": {
        "Source Code": "https://github.com/chrjabs/rustsat"
    },
    "split_keywords": [
        "sat",
        " satisfiability",
        " encodings"
    ],
    "urls": [
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "58d466c5e641e16e73166425d2b13a90ab309be6a2effe5c451fcddd6991141f",
                "md5": "651d5e47dfeb177588bf6e04b3c0d0a6",
                "sha256": "9be2df9c8878ef1d76ef6fcd2d71c4240c45eac31bdeb564d8bc8216de1e918c"
            },
            "downloads": -1,
            "filename": "rustsat-0.5.1-cp37-abi3-macosx_10_12_x86_64.whl",
            "has_sig": false,
            "md5_digest": "651d5e47dfeb177588bf6e04b3c0d0a6",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 355949,
            "upload_time": "2024-06-12T05:38:56",
            "upload_time_iso_8601": "2024-06-12T05:38:56.761337Z",
            "url": "https://files.pythonhosted.org/packages/58/d4/66c5e641e16e73166425d2b13a90ab309be6a2effe5c451fcddd6991141f/rustsat-0.5.1-cp37-abi3-macosx_10_12_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "a81c00bc041dc7197edeb7ebe78d98978a87a47d598d2750b05480d0f652ab24",
                "md5": "8eecf05cacdec377d95adaaf709e78a7",
                "sha256": "ef179f0c46443563bd1d2c957b1c2be5784eddd7095f4d6cad0abce151b270c7"
            },
            "downloads": -1,
            "filename": "rustsat-0.5.1-cp37-abi3-macosx_11_0_arm64.whl",
            "has_sig": false,
            "md5_digest": "8eecf05cacdec377d95adaaf709e78a7",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 344502,
            "upload_time": "2024-06-12T05:38:54",
            "upload_time_iso_8601": "2024-06-12T05:38:54.979141Z",
            "url": "https://files.pythonhosted.org/packages/a8/1c/00bc041dc7197edeb7ebe78d98978a87a47d598d2750b05480d0f652ab24/rustsat-0.5.1-cp37-abi3-macosx_11_0_arm64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "9972ce19dfe71a810c74e1134edc2a2eea696e95630a059e9b49fbdcf1c4620f",
                "md5": "f953e5c2fa8fa846bee503547ebea122",
                "sha256": "dbf4e9eb11acee69c96e690de9dd915571aa8e00e82ea0e21a68b830ba745780"
            },
            "downloads": -1,
            "filename": "rustsat-0.5.1-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
            "has_sig": false,
            "md5_digest": "f953e5c2fa8fa846bee503547ebea122",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 1128256,
            "upload_time": "2024-06-12T05:38:40",
            "upload_time_iso_8601": "2024-06-12T05:38:40.689229Z",
            "url": "https://files.pythonhosted.org/packages/99/72/ce19dfe71a810c74e1134edc2a2eea696e95630a059e9b49fbdcf1c4620f/rustsat-0.5.1-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "238fc796d096527a279875912ce39b9babac4a88c51bb87996d3ffc257e1a5e6",
                "md5": "11cf56b69f67f0592cb43c548d57ceea",
                "sha256": "787cf1571258b5ff888263586df656e0588bbeb9711a5e9db863ffc61399be8e"
            },
            "downloads": -1,
            "filename": "rustsat-0.5.1-cp37-abi3-manylinux_2_17_armv7l.manylinux2014_armv7l.whl",
            "has_sig": false,
            "md5_digest": "11cf56b69f67f0592cb43c548d57ceea",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 1145585,
            "upload_time": "2024-06-12T05:38:42",
            "upload_time_iso_8601": "2024-06-12T05:38:42.974750Z",
            "url": "https://files.pythonhosted.org/packages/23/8f/c796d096527a279875912ce39b9babac4a88c51bb87996d3ffc257e1a5e6/rustsat-0.5.1-cp37-abi3-manylinux_2_17_armv7l.manylinux2014_armv7l.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "c4efef88e6402a19c047d66cd5bab1c49c3fd101428fe8f97d85655986e283df",
                "md5": "6084fab34baaf7f81335cecc80b1922a",
                "sha256": "b8f7bf9292b3f1c992f05cfee7f6210f5e0dd445b48132d293eecb21a297d416"
            },
            "downloads": -1,
            "filename": "rustsat-0.5.1-cp37-abi3-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
            "has_sig": false,
            "md5_digest": "6084fab34baaf7f81335cecc80b1922a",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 1169860,
            "upload_time": "2024-06-12T05:38:45",
            "upload_time_iso_8601": "2024-06-12T05:38:45.673254Z",
            "url": "https://files.pythonhosted.org/packages/c4/ef/ef88e6402a19c047d66cd5bab1c49c3fd101428fe8f97d85655986e283df/rustsat-0.5.1-cp37-abi3-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "4d6a098065b8ad1fdb84dda6c833d9a2d3a2d288218e1947303c196f7ab639a1",
                "md5": "afc5885df81da483a9852d96329ecf6a",
                "sha256": "4b7a8ff010f3c4f66774bb5537cb98a552769af1dd3d7ae98b432c9956ff96fc"
            },
            "downloads": -1,
            "filename": "rustsat-0.5.1-cp37-abi3-manylinux_2_17_s390x.manylinux2014_s390x.whl",
            "has_sig": false,
            "md5_digest": "afc5885df81da483a9852d96329ecf6a",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 1314346,
            "upload_time": "2024-06-12T05:38:48",
            "upload_time_iso_8601": "2024-06-12T05:38:48.318125Z",
            "url": "https://files.pythonhosted.org/packages/4d/6a/098065b8ad1fdb84dda6c833d9a2d3a2d288218e1947303c196f7ab639a1/rustsat-0.5.1-cp37-abi3-manylinux_2_17_s390x.manylinux2014_s390x.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "1a8a10fa93d499bd395279dfa2b8d8e4db834aab8d4a801c843b016ccbd632f2",
                "md5": "0279a89b8755ffbccdfd1a1e3713eff8",
                "sha256": "d0a8a7a1f38c9fc8b04b0e57faa5fead867ac72f8b96b4bc7ddf2cbedba22eeb"
            },
            "downloads": -1,
            "filename": "rustsat-0.5.1-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
            "has_sig": false,
            "md5_digest": "0279a89b8755ffbccdfd1a1e3713eff8",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 1138878,
            "upload_time": "2024-06-12T05:38:53",
            "upload_time_iso_8601": "2024-06-12T05:38:53.036286Z",
            "url": "https://files.pythonhosted.org/packages/1a/8a/10fa93d499bd395279dfa2b8d8e4db834aab8d4a801c843b016ccbd632f2/rustsat-0.5.1-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "a408ba89bff28cebd7af61ec92343ed5866b50cce42a6a4fb7115b6cb57aedc8",
                "md5": "865ce4025a6f995f20563555713cc883",
                "sha256": "128eabe9ab18578f757b2d9c00399b5e5f2b03790ff6dbf78d63d4228f598ecf"
            },
            "downloads": -1,
            "filename": "rustsat-0.5.1-cp37-abi3-manylinux_2_5_i686.manylinux1_i686.whl",
            "has_sig": false,
            "md5_digest": "865ce4025a6f995f20563555713cc883",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 1164519,
            "upload_time": "2024-06-12T05:38:50",
            "upload_time_iso_8601": "2024-06-12T05:38:50.676189Z",
            "url": "https://files.pythonhosted.org/packages/a4/08/ba89bff28cebd7af61ec92343ed5866b50cce42a6a4fb7115b6cb57aedc8/rustsat-0.5.1-cp37-abi3-manylinux_2_5_i686.manylinux1_i686.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "f5bf4c7ac21808c06824e3d4fa565a31d35acaf0d54bfd4426414a85e48ef200",
                "md5": "fd3a42291336d3a24f1ac3cdceff7843",
                "sha256": "ab55e7eda9450c7c57137122641c2ed4c1c56f29e986c60e80f7f84d05cea29c"
            },
            "downloads": -1,
            "filename": "rustsat-0.5.1-cp37-abi3-win32.whl",
            "has_sig": false,
            "md5_digest": "fd3a42291336d3a24f1ac3cdceff7843",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 225741,
            "upload_time": "2024-06-12T05:39:03",
            "upload_time_iso_8601": "2024-06-12T05:39:03.045640Z",
            "url": "https://files.pythonhosted.org/packages/f5/bf/4c7ac21808c06824e3d4fa565a31d35acaf0d54bfd4426414a85e48ef200/rustsat-0.5.1-cp37-abi3-win32.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "09012368fbabcc344f4ceb8cb49b53ea2f03b8e343b2faa2072aaa95aeec9b55",
                "md5": "b2201c2297531509543b413fcf383954",
                "sha256": "ae4af44dcf8814fca3caf7aebcc320f1ae94b157144e2f2a1ec1ef99ff2bbee9"
            },
            "downloads": -1,
            "filename": "rustsat-0.5.1-cp37-abi3-win_amd64.whl",
            "has_sig": false,
            "md5_digest": "b2201c2297531509543b413fcf383954",
            "packagetype": "bdist_wheel",
            "python_version": "cp37",
            "requires_python": ">=3.7",
            "size": 237483,
            "upload_time": "2024-06-12T05:39:01",
            "upload_time_iso_8601": "2024-06-12T05:39:01.085068Z",
            "url": "https://files.pythonhosted.org/packages/09/01/2368fbabcc344f4ceb8cb49b53ea2f03b8e343b2faa2072aaa95aeec9b55/rustsat-0.5.1-cp37-abi3-win_amd64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "8204d4a8825bbcb6070fb7f8eca1d8a61f5bf81dfd54c60131353b07768bb894",
                "md5": "ebc8a7dfe7c88a7a3519b0e1ac695b81",
                "sha256": "dd3f1217f94d84bdd40708b7cb9924fb7e66d3d683a8ed4a0b758ffcffb3d365"
            },
            "downloads": -1,
            "filename": "rustsat-0.5.1.tar.gz",
            "has_sig": false,
            "md5_digest": "ebc8a7dfe7c88a7a3519b0e1ac695b81",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.7",
            "size": 6376651,
            "upload_time": "2024-06-12T05:38:59",
            "upload_time_iso_8601": "2024-06-12T05:38:59.024667Z",
            "url": "https://files.pythonhosted.org/packages/82/04/d4a8825bbcb6070fb7f8eca1d8a61f5bf81dfd54c60131353b07768bb894/rustsat-0.5.1.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2024-06-12 05:38:59",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "chrjabs",
    "github_project": "rustsat",
    "travis_ci": false,
    "coveralls": false,
    "github_actions": true,
    "lcname": "rustsat"
}