Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types.
For documentation, please read http://z3prover.github.io/api/html/z3.html
Raw data
{
"_id": null,
"home_page": "https://github.com/Z3Prover/z3",
"name": "z3-solver",
"maintainer": "Audrey Dutcher and Nikolaj Bjorner",
"docs_url": null,
"requires_python": null,
"maintainer_email": "audrey@rhelmot.io",
"keywords": "z3, smt, sat, prover, theorem",
"author": "The Z3 Theorem Prover Project",
"author_email": null,
"download_url": "https://files.pythonhosted.org/packages/12/43/66654a437cd16bc25802284bd0f7ee94a679993ec0d90df25d2cbb595239/z3_solver-4.13.3.0.tar.gz",
"platform": null,
"description": "Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types.\n\nFor documentation, please read http://z3prover.github.io/api/html/z3.html\n",
"bugtrack_url": null,
"license": "MIT License",
"summary": "an efficient SMT solver library",
"version": "4.13.3.0",
"project_urls": {
"Homepage": "https://github.com/Z3Prover/z3"
},
"split_keywords": [
"z3",
" smt",
" sat",
" prover",
" theorem"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "5b3efbefba102a95621b2eb9030acbb74338ab6078d2fef587ba3dc2a705bc4b",
"md5": "d8e95409f5308aa92635ae44f55b17af",
"sha256": "cae621cb47ebcf055f6a27285343d5c932f4c282b15c5d2840327e73e15a86a4"
},
"downloads": -1,
"filename": "z3_solver-4.13.3.0-py3-none-macosx_13_0_arm64.whl",
"has_sig": false,
"md5_digest": "d8e95409f5308aa92635ae44f55b17af",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 35854175,
"upload_time": "2024-10-10T23:41:48",
"upload_time_iso_8601": "2024-10-10T23:41:48.048166Z",
"url": "https://files.pythonhosted.org/packages/5b/3e/fbefba102a95621b2eb9030acbb74338ab6078d2fef587ba3dc2a705bc4b/z3_solver-4.13.3.0-py3-none-macosx_13_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "2fc3dde2e0ec7bd698bfa3d9b6d6eb5dcc4eb6434a5dc8430c2ac97eb413b1f4",
"md5": "5ac4a9a49f3d14427c551182c4dc628e",
"sha256": "7900fbd1917164c938a20bea7845f7b95fcb431d0ade474d408f979196bccb8f"
},
"downloads": -1,
"filename": "z3_solver-4.13.3.0-py3-none-macosx_13_0_x86_64.whl",
"has_sig": false,
"md5_digest": "5ac4a9a49f3d14427c551182c4dc628e",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 38534677,
"upload_time": "2024-10-10T23:41:51",
"upload_time_iso_8601": "2024-10-10T23:41:51.286483Z",
"url": "https://files.pythonhosted.org/packages/2f/c3/dde2e0ec7bd698bfa3d9b6d6eb5dcc4eb6434a5dc8430c2ac97eb413b1f4/z3_solver-4.13.3.0-py3-none-macosx_13_0_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "b6f2036f6501d3a2835cd4a17fd67364cd56337a5183e20b063d3d8a005f7288",
"md5": "c8d0dd2702b6e60c54fe9a767654b51d",
"sha256": "794843e4946ade1561e40a75ffc1163b45d36b493fd6cc269ad1d6a65bddb8e5"
},
"downloads": -1,
"filename": "z3_solver-4.13.3.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "c8d0dd2702b6e60c54fe9a767654b51d",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 28124043,
"upload_time": "2024-10-10T23:41:54",
"upload_time_iso_8601": "2024-10-10T23:41:54.906029Z",
"url": "https://files.pythonhosted.org/packages/b6/f2/036f6501d3a2835cd4a17fd67364cd56337a5183e20b063d3d8a005f7288/z3_solver-4.13.3.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "1cff51b34658ceca98978be0d0e5161bc239015188debc4e3895803a311608fd",
"md5": "f62e2c74123d8f3f30c8ec409d52fe49",
"sha256": "ab5057cb1f4680406a232d2c1d968daaf69fae10685baa0887b85ca8e938a5cf"
},
"downloads": -1,
"filename": "z3_solver-4.13.3.0-py3-none-manylinux_2_34_aarch64.whl",
"has_sig": false,
"md5_digest": "f62e2c74123d8f3f30c8ec409d52fe49",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 26208542,
"upload_time": "2024-10-10T23:41:58",
"upload_time_iso_8601": "2024-10-10T23:41:58.391327Z",
"url": "https://files.pythonhosted.org/packages/1c/ff/51b34658ceca98978be0d0e5161bc239015188debc4e3895803a311608fd/z3_solver-4.13.3.0-py3-none-manylinux_2_34_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "1875adfd645c3e3418052675b06717c4339f423ca7b51b7185fb0897f913acdc",
"md5": "6f93f0475dc9267ee9c1f6d4aa45239d",
"sha256": "ba465489e9ab609f1cf0f232cbc102165b89a507347a6093c2ac3224cf161aa3"
},
"downloads": -1,
"filename": "z3_solver-4.13.3.0-py3-none-win32.whl",
"has_sig": false,
"md5_digest": "6f93f0475dc9267ee9c1f6d4aa45239d",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 12700057,
"upload_time": "2024-10-10T23:42:01",
"upload_time_iso_8601": "2024-10-10T23:42:01.515642Z",
"url": "https://files.pythonhosted.org/packages/18/75/adfd645c3e3418052675b06717c4339f423ca7b51b7185fb0897f913acdc/z3_solver-4.13.3.0-py3-none-win32.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "2694352fc6e18bd23056b57132bbe9d40facd5f70acebe23a6c49bfd89fa2bc0",
"md5": "30c3f1f16f951066ac334bcd51b33202",
"sha256": "d55e4793fa48230af766c7f6f7f033198b2d9df150d89ec65b07fd7b87998897"
},
"downloads": -1,
"filename": "z3_solver-4.13.3.0-py3-none-win_amd64.whl",
"has_sig": false,
"md5_digest": "30c3f1f16f951066ac334bcd51b33202",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 15606445,
"upload_time": "2024-10-10T23:42:03",
"upload_time_iso_8601": "2024-10-10T23:42:03.724384Z",
"url": "https://files.pythonhosted.org/packages/26/94/352fc6e18bd23056b57132bbe9d40facd5f70acebe23a6c49bfd89fa2bc0/z3_solver-4.13.3.0-py3-none-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "124366654a437cd16bc25802284bd0f7ee94a679993ec0d90df25d2cbb595239",
"md5": "3403968634c195d1313e02567591c0e2",
"sha256": "4c27466455bac65d3c512f4bb4841ac79e05e121d3f98ddc99ac27ab4bc27e05"
},
"downloads": -1,
"filename": "z3_solver-4.13.3.0.tar.gz",
"has_sig": false,
"md5_digest": "3403968634c195d1313e02567591c0e2",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 4899797,
"upload_time": "2024-10-10T23:42:06",
"upload_time_iso_8601": "2024-10-10T23:42:06.559279Z",
"url": "https://files.pythonhosted.org/packages/12/43/66654a437cd16bc25802284bd0f7ee94a679993ec0d90df25d2cbb595239/z3_solver-4.13.3.0.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-10-10 23:42:06",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "Z3Prover",
"github_project": "z3",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"lcname": "z3-solver"
}
JSON
