Name | rustsat JSON |
Version |
0.6.4
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 | 2025-02-19 08:53:41 |
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.
|
[](https://github.com/chrjabs/rustsat/actions/workflows/pyapi.yml)
[](https://pypi.org/project/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": "[](https://github.com/chrjabs/rustsat/actions/workflows/pyapi.yml)\n[](https://pypi.org/project/rustsat)\n[](./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"
}