This package, specifically, enables the Boolector Python wrapper
to be installed from PyPi
Raw data
{
"_id": null,
"home_page": "https://github.com/boolector/boolector",
"name": "PyBoolector",
"maintainer": "Matthew Ballance",
"docs_url": null,
"requires_python": null,
"maintainer_email": "matt.ballance@gmail.com",
"keywords": null,
"author": null,
"author_email": null,
"download_url": "https://files.pythonhosted.org/packages/a2/d7/96832c80e8c6f35fcfc70dc43cc7cb77ccc0e536c9f032bbe4998bd7feb8/pyboolector-3.2.4.20240823.1.tar.gz",
"platform": null,
"description": "\n This package, specifically, enables the Boolector Python wrapper\n to be installed from PyPi\n \n",
"bugtrack_url": null,
"license": null,
"summary": "Python wrapper around the Boolector SMT solver",
"version": "3.2.4.20240823.1",
"project_urls": {
"Download": "https://pypi.org/project/PyBoolector/",
"Homepage": "https://github.com/boolector/boolector"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "6b58fed2502461ef77a4517c1451d3eed2d33ee8ca45e8c72ba4898abc5c2eca",
"md5": "5e95cd371761c4e009700eb411dcfcea",
"sha256": "79e40a4c5e87813fc9972ed9d69be896586a37f3f9505d41c715af6bacf3c69d"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp310-cp310-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"has_sig": false,
"md5_digest": "5e95cd371761c4e009700eb411dcfcea",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 2671921,
"upload_time": "2024-08-23T23:00:20",
"upload_time_iso_8601": "2024-08-23T23:00:20.062310Z",
"url": "https://files.pythonhosted.org/packages/6b/58/fed2502461ef77a4517c1451d3eed2d33ee8ca45e8c72ba4898abc5c2eca/PyBoolector-3.2.4.20240823.1-cp310-cp310-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "28324b514c2132f88d240b494dae3d9a58b165c7a00183afc693a14929a9ae84",
"md5": "ae9aebb55b6f930292c06fe779e0d3e4",
"sha256": "5a8e95513fad0da8b72e709aff2c92388f6f81f7afc900c6697308e8c50b4116"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "ae9aebb55b6f930292c06fe779e0d3e4",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 2492071,
"upload_time": "2024-08-23T23:00:33",
"upload_time_iso_8601": "2024-08-23T23:00:33.483623Z",
"url": "https://files.pythonhosted.org/packages/28/32/4b514c2132f88d240b494dae3d9a58b165c7a00183afc693a14929a9ae84/PyBoolector-3.2.4.20240823.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "4856e27a7cd5651405b265949218a3c24fc0039f251d27a528a5c212ef556da0",
"md5": "b021f7712fe28d22d2f5568381110b2c",
"sha256": "e565250421be65c83971037f2b09ab9d7756acba746e36c439581e7677477cd9"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp311-cp311-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"has_sig": false,
"md5_digest": "b021f7712fe28d22d2f5568381110b2c",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 3194433,
"upload_time": "2024-08-23T23:00:22",
"upload_time_iso_8601": "2024-08-23T23:00:22.189401Z",
"url": "https://files.pythonhosted.org/packages/48/56/e27a7cd5651405b265949218a3c24fc0039f251d27a528a5c212ef556da0/PyBoolector-3.2.4.20240823.1-cp311-cp311-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "7305faf6eda742ad98251190ed6eca0b1eff861c65de0fbcda5b89d776df7449",
"md5": "752d0641700da1e27145939061e087c1",
"sha256": "926214d230ec493a6afc95a69b45ed9262e09bb6edd2d876dcffa2e1918f925c"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "752d0641700da1e27145939061e087c1",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 3008986,
"upload_time": "2024-08-23T23:00:35",
"upload_time_iso_8601": "2024-08-23T23:00:35.007893Z",
"url": "https://files.pythonhosted.org/packages/73/05/faf6eda742ad98251190ed6eca0b1eff861c65de0fbcda5b89d776df7449/PyBoolector-3.2.4.20240823.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "a2e65bbc48f7552bedc8eaa0395ed305598ecc649cbdd916bf4d3cd701b7083e",
"md5": "3df8739f9192022b754d3bdc541cb4aa",
"sha256": "21efe376c02e5a4b3f2c29dfee59d32efe66a3e4dfc7c849e9e34d706e5884a4"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp312-cp312-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "3df8739f9192022b754d3bdc541cb4aa",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 2328350,
"upload_time": "2024-08-23T23:00:47",
"upload_time_iso_8601": "2024-08-23T23:00:47.308095Z",
"url": "https://files.pythonhosted.org/packages/a2/e6/5bbc48f7552bedc8eaa0395ed305598ecc649cbdd916bf4d3cd701b7083e/PyBoolector-3.2.4.20240823.1-cp312-cp312-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "a6fcd4824e7bae6f718df51f40acad994510dec71fccc13c186ec9f7389287e1",
"md5": "3f5e6f01bc514c85cf3b14d31b3377e3",
"sha256": "9b3e9976536441a780047f1237baf8c66bc7048424e099d97afda5a73fa852db"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp312-cp312-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"has_sig": false,
"md5_digest": "3f5e6f01bc514c85cf3b14d31b3377e3",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 3152241,
"upload_time": "2024-08-23T23:00:24",
"upload_time_iso_8601": "2024-08-23T23:00:24.153745Z",
"url": "https://files.pythonhosted.org/packages/a6/fc/d4824e7bae6f718df51f40acad994510dec71fccc13c186ec9f7389287e1/PyBoolector-3.2.4.20240823.1-cp312-cp312-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "9c3fc42c12a9f10a4307cf2e5fb55efed9775f6da25848e7d485b730a41d4aae",
"md5": "f15531bdf527b09b32d2f16176b5deaf",
"sha256": "5ed000b3621733e9951564ba27c03c91944c70b3987da5a5117590f45988b38d"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "f15531bdf527b09b32d2f16176b5deaf",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 3004446,
"upload_time": "2024-08-23T23:00:36",
"upload_time_iso_8601": "2024-08-23T23:00:36.934656Z",
"url": "https://files.pythonhosted.org/packages/9c/3f/c42c12a9f10a4307cf2e5fb55efed9775f6da25848e7d485b730a41d4aae/PyBoolector-3.2.4.20240823.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "a2a4afe63e8175891d0633dfd540a9dabbd869915f7eace9e1edb1a7a746b310",
"md5": "69a1857411ec008681e1fe084585ed39",
"sha256": "57122134b8eec6d31fff99105a593b73202f258019ee3b8fcbac1f795b8dda0b"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp36-cp36m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"has_sig": false,
"md5_digest": "69a1857411ec008681e1fe084585ed39",
"packagetype": "bdist_wheel",
"python_version": "cp36",
"requires_python": null,
"size": 2542748,
"upload_time": "2024-08-23T23:00:25",
"upload_time_iso_8601": "2024-08-23T23:00:25.635552Z",
"url": "https://files.pythonhosted.org/packages/a2/a4/afe63e8175891d0633dfd540a9dabbd869915f7eace9e1edb1a7a746b310/PyBoolector-3.2.4.20240823.1-cp36-cp36m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "641ef3754082848ec686e671141f0e8f23c0eed19e0ca83e2f63c757da17707f",
"md5": "610b95df1e2f743e78bfa3a4e16a7677",
"sha256": "afc94ffeaebd899d556e712947f111161ad55d092907a556feef80c0b0c1bc7b"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "610b95df1e2f743e78bfa3a4e16a7677",
"packagetype": "bdist_wheel",
"python_version": "cp36",
"requires_python": null,
"size": 2399402,
"upload_time": "2024-08-23T23:00:39",
"upload_time_iso_8601": "2024-08-23T23:00:39.194790Z",
"url": "https://files.pythonhosted.org/packages/64/1e/f3754082848ec686e671141f0e8f23c0eed19e0ca83e2f63c757da17707f/PyBoolector-3.2.4.20240823.1-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "a6e49ea5155dc096195b83d12a8cd6b41e8b0f3e7883df342b9b208fcaf82605",
"md5": "cec03d0df5743d64667f60a168d92db4",
"sha256": "2418dc091d443266288ea22e120949cd2eeaadafc1aff1dd1091986407dfa181"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"has_sig": false,
"md5_digest": "cec03d0df5743d64667f60a168d92db4",
"packagetype": "bdist_wheel",
"python_version": "cp37",
"requires_python": null,
"size": 2532248,
"upload_time": "2024-08-23T23:00:27",
"upload_time_iso_8601": "2024-08-23T23:00:27.591486Z",
"url": "https://files.pythonhosted.org/packages/a6/e4/9ea5155dc096195b83d12a8cd6b41e8b0f3e7883df342b9b208fcaf82605/PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "fbf961bfaa453350a428315ca9f580cd3f964e1d3f1aa077bb51b308f673811e",
"md5": "f2468dc42d2931679573cba5098e9662",
"sha256": "2095c9a76a1eb2d131e2a65f4cf5f4a952a1d228dc38dc90f1a3ff7befd4ab4e"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "f2468dc42d2931679573cba5098e9662",
"packagetype": "bdist_wheel",
"python_version": "cp37",
"requires_python": null,
"size": 2420401,
"upload_time": "2024-08-23T23:00:41",
"upload_time_iso_8601": "2024-08-23T23:00:41.185969Z",
"url": "https://files.pythonhosted.org/packages/fb/f9/61bfaa453350a428315ca9f580cd3f964e1d3f1aa077bb51b308f673811e/PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "e02ca5d1c5af96ad661f2341f33510f1f42b044653bc40b7c976073786f6b60c",
"md5": "36db53e8e9d98c74036879ebbcd8b28d",
"sha256": "9f06df8d28e9fadbd184bafb054fcf3b8ace612b29d50f3e02203faf2b9d087e"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp38-cp38-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"has_sig": false,
"md5_digest": "36db53e8e9d98c74036879ebbcd8b28d",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 2742969,
"upload_time": "2024-08-23T23:00:29",
"upload_time_iso_8601": "2024-08-23T23:00:29.441380Z",
"url": "https://files.pythonhosted.org/packages/e0/2c/a5d1c5af96ad661f2341f33510f1f42b044653bc40b7c976073786f6b60c/PyBoolector-3.2.4.20240823.1-cp38-cp38-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "a3aa931689aa8f5740217438af459571cca7145945a23b58ed3b8070ac2cc421",
"md5": "22d88b02601e6f32bf88a0d4f73711b2",
"sha256": "4d2b910bcb1025bff5e43936042e3a49a4465b7d038170a8bad446036582e747"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "22d88b02601e6f32bf88a0d4f73711b2",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 2581846,
"upload_time": "2024-08-23T23:00:43",
"upload_time_iso_8601": "2024-08-23T23:00:43.319041Z",
"url": "https://files.pythonhosted.org/packages/a3/aa/931689aa8f5740217438af459571cca7145945a23b58ed3b8070ac2cc421/PyBoolector-3.2.4.20240823.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "f0effa0d20dfcd21e244949e0fa9e331ce28c363320dfa9d8400a6840953788d",
"md5": "9d6f88d4d1ae02b2f701cb636452fd2c",
"sha256": "3d2d0b9fc6573fc838f45e81e8eea7a2b691f81b7b65c159fcfa4966e50f7259"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp39-cp39-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"has_sig": false,
"md5_digest": "9d6f88d4d1ae02b2f701cb636452fd2c",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 2674444,
"upload_time": "2024-08-23T23:00:31",
"upload_time_iso_8601": "2024-08-23T23:00:31.431976Z",
"url": "https://files.pythonhosted.org/packages/f0/ef/fa0d20dfcd21e244949e0fa9e331ce28c363320dfa9d8400a6840953788d/PyBoolector-3.2.4.20240823.1-cp39-cp39-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "b7c4dadb0ecc6406d8b38ac51b78e6e83dc75c772d5c350332fb145c1b865930",
"md5": "64279963b959a7f85d1d7e0ec65d8c35",
"sha256": "096dcbbbd0ade9f34e8b55f78f90526e4afb060fe8ee492eb3d3f8bbe8b400a0"
},
"downloads": -1,
"filename": "PyBoolector-3.2.4.20240823.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "64279963b959a7f85d1d7e0ec65d8c35",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 2494367,
"upload_time": "2024-08-23T23:00:45",
"upload_time_iso_8601": "2024-08-23T23:00:45.000752Z",
"url": "https://files.pythonhosted.org/packages/b7/c4/dadb0ecc6406d8b38ac51b78e6e83dc75c772d5c350332fb145c1b865930/PyBoolector-3.2.4.20240823.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "a2d796832c80e8c6f35fcfc70dc43cc7cb77ccc0e536c9f032bbe4998bd7feb8",
"md5": "cc61661f0fa8d2533444c60d9f818105",
"sha256": "40cbb458535b0bda3b1f996c280f8a5ebdb4a2eb4993b5f751702953b7c18ac4"
},
"downloads": -1,
"filename": "pyboolector-3.2.4.20240823.1.tar.gz",
"has_sig": false,
"md5_digest": "cc61661f0fa8d2533444c60d9f818105",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 21456,
"upload_time": "2024-08-23T23:00:48",
"upload_time_iso_8601": "2024-08-23T23:00:48.890770Z",
"url": "https://files.pythonhosted.org/packages/a2/d7/96832c80e8c6f35fcfc70dc43cc7cb77ccc0e536c9f032bbe4998bd7feb8/pyboolector-3.2.4.20240823.1.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-08-23 23:00:48",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "boolector",
"github_project": "boolector",
"travis_ci": false,
"coveralls": false,
"github_actions": false,
"lcname": "pyboolector"
}
JSON
