Raw data
{
"_id": null,
"home_page": null,
"name": "cvc5",
"maintainer": null,
"docs_url": null,
"requires_python": null,
"maintainer_email": null,
"keywords": null,
"author": null,
"author_email": null,
"download_url": null,
"platform": null,
"description": "",
"bugtrack_url": null,
"license": "BSD-3-Clause AND LGPL-3.0-or-later AND MIT",
"summary": "Python bindings for cvc5",
"version": "1.2.0",
"project_urls": {
"Changelog": "https://github.com/cvc5/cvc5/blob/main/NEWS.md",
"Documentation": "https://cvc5.github.io/docs/",
"Homepage": "https://cvc5.github.io/",
"Issues": "https://github.com/cvc5/cvc5/issues",
"Repository": "https://github.com/cvc5/cvc5"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "8b02940c27ea8c733fb44ecc7d17a3e1c9d162c2ee2997c02a4c09d60a8bdbb8",
"md5": "5d684229d82d9410b7b1ab0285b5a2a1",
"sha256": "241e92ba7bb932b2151a4dc78a210acb779e2bb421b749e950c32a8da0c6a8e6"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp310-cp310-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "5d684229d82d9410b7b1ab0285b5a2a1",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 9140501,
"upload_time": "2024-08-08T16:53:56",
"upload_time_iso_8601": "2024-08-08T16:53:56.876369Z",
"url": "https://files.pythonhosted.org/packages/8b/02/940c27ea8c733fb44ecc7d17a3e1c9d162c2ee2997c02a4c09d60a8bdbb8/cvc5-1.2.0-cp310-cp310-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "7972f7cf7196f1e12a3646f9676075c2332574ed5d1c40afd35a413a651b894f",
"md5": "aa8655feb12087d239bcdaeef6bd3176",
"sha256": "027e7d2817806a7f8e74dd1ff7605c2f84637ce180e6a2bdbaee2fd41ed95f63"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "aa8655feb12087d239bcdaeef6bd3176",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 13045632,
"upload_time": "2024-08-08T16:50:58",
"upload_time_iso_8601": "2024-08-08T16:50:58.419302Z",
"url": "https://files.pythonhosted.org/packages/79/72/f7cf7196f1e12a3646f9676075c2332574ed5d1c40afd35a413a651b894f/cvc5-1.2.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "bc046c64e948d6b00048807c15d20c30b77db6807dd248e3a298efa444c8aecf",
"md5": "1e423248fbb367d744d5438ff668e237",
"sha256": "74e67c9e66f54256abec1ff22e70a46b8d8714b5d603a701b6b047801b926b85"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp310-cp310-win_amd64.whl",
"has_sig": false,
"md5_digest": "1e423248fbb367d744d5438ff668e237",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 12744001,
"upload_time": "2024-08-08T16:51:13",
"upload_time_iso_8601": "2024-08-08T16:51:13.397722Z",
"url": "https://files.pythonhosted.org/packages/bc/04/6c64e948d6b00048807c15d20c30b77db6807dd248e3a298efa444c8aecf/cvc5-1.2.0-cp310-cp310-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "5eeae82b26b91e88d7550da66226ab6adb0ebfbf054f0706842e8629059bd9cc",
"md5": "1d96bcc0e6e42eff8a8cde6f91065940",
"sha256": "72e11459e9ed050aaf4ecb3aae7196523319951dce5d86d869bb0b55cc7f044e"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp311-cp311-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "1d96bcc0e6e42eff8a8cde6f91065940",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 9140425,
"upload_time": "2024-08-08T16:53:59",
"upload_time_iso_8601": "2024-08-08T16:53:59.655190Z",
"url": "https://files.pythonhosted.org/packages/5e/ea/e82b26b91e88d7550da66226ab6adb0ebfbf054f0706842e8629059bd9cc/cvc5-1.2.0-cp311-cp311-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "b7647545ffbe7cfada80b10e0753602c508641583f4d782deaf7d17f31522eb7",
"md5": "41daeb83049894499cc008cc68e818a2",
"sha256": "ee2e2082156d3ce85531b3b1973e660227c06203b443ee0e144ba9a29a438f65"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "41daeb83049894499cc008cc68e818a2",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 13136091,
"upload_time": "2024-08-08T16:51:01",
"upload_time_iso_8601": "2024-08-08T16:51:01.982566Z",
"url": "https://files.pythonhosted.org/packages/b7/64/7545ffbe7cfada80b10e0753602c508641583f4d782deaf7d17f31522eb7/cvc5-1.2.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "fa435aede82428c69cd45c6cf41aef6061bb1762b44f9808f47123d9adaec411",
"md5": "5012c9a162926a049a3e73e00ccea801",
"sha256": "8b4040613ecc83cdb33fd0ec789ed0ba10b7d2a7b663425e2e71533476ae8c91"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp311-cp311-win_amd64.whl",
"has_sig": false,
"md5_digest": "5012c9a162926a049a3e73e00ccea801",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 12709478,
"upload_time": "2024-08-08T16:51:16",
"upload_time_iso_8601": "2024-08-08T16:51:16.959352Z",
"url": "https://files.pythonhosted.org/packages/fa/43/5aede82428c69cd45c6cf41aef6061bb1762b44f9808f47123d9adaec411/cvc5-1.2.0-cp311-cp311-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "a7efbbf4cc4fa332456c7b1bf4f555f9787e3ac97a5556e2a5e994c77e00adbc",
"md5": "e8f1ef6a0d2254a278ba1bf08ca3d098",
"sha256": "f8db91016601c6c7c90f6fa84bdea917d72227a265cb34823aacb651a1325cbf"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp312-cp312-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "e8f1ef6a0d2254a278ba1bf08ca3d098",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 9145592,
"upload_time": "2024-08-08T16:54:06",
"upload_time_iso_8601": "2024-08-08T16:54:06.276320Z",
"url": "https://files.pythonhosted.org/packages/a7/ef/bbf4cc4fa332456c7b1bf4f555f9787e3ac97a5556e2a5e994c77e00adbc/cvc5-1.2.0-cp312-cp312-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "a51263f3ca21f1ce19c7f77245bb53c514629f5454197b1b08ccffa7004c1d37",
"md5": "8d4495db24c40278eb97ade0552770aa",
"sha256": "96b8314bbf4e25bda37ca31928e276463996aa0db0954c485fda1051ea5a763d"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "8d4495db24c40278eb97ade0552770aa",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 13133106,
"upload_time": "2024-08-08T16:51:05",
"upload_time_iso_8601": "2024-08-08T16:51:05.492160Z",
"url": "https://files.pythonhosted.org/packages/a5/12/63f3ca21f1ce19c7f77245bb53c514629f5454197b1b08ccffa7004c1d37/cvc5-1.2.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "8e97a4d008cc40e2bf29428deb83439dc1d40f230a529df52414614091847265",
"md5": "281a4be84ab8fff9daa82aa14f6c51fd",
"sha256": "425c19713a9d5a347ae56b42b7b16fad4d64f38168ba0aaee5ec08bf71aaa638"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp312-cp312-win_amd64.whl",
"has_sig": false,
"md5_digest": "281a4be84ab8fff9daa82aa14f6c51fd",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 12723405,
"upload_time": "2024-08-08T16:51:21",
"upload_time_iso_8601": "2024-08-08T16:51:21.064386Z",
"url": "https://files.pythonhosted.org/packages/8e/97/a4d008cc40e2bf29428deb83439dc1d40f230a529df52414614091847265/cvc5-1.2.0-cp312-cp312-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "0675f6792dd225104fc8f13998329f36306843ab8f4ff01ec1ff804538e0ef74",
"md5": "7e16e1878c95c7712d9f25d68211461f",
"sha256": "ff5290186b50d5f07383b3c798e834133ecfd33f8c39877b0b83d83d38dc79c6"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "7e16e1878c95c7712d9f25d68211461f",
"packagetype": "bdist_wheel",
"python_version": "cp37",
"requires_python": null,
"size": 12950089,
"upload_time": "2024-08-08T16:51:08",
"upload_time_iso_8601": "2024-08-08T16:51:08.646704Z",
"url": "https://files.pythonhosted.org/packages/06/75/f6792dd225104fc8f13998329f36306843ab8f4ff01ec1ff804538e0ef74/cvc5-1.2.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "9249b69dbda45d4d602c8b286c72cdf2788e2ecaeb575e659987fdd792b176ee",
"md5": "acd4a6e5a854b266e97037b95ae32fb4",
"sha256": "6066287e538645c234af24fc73f842a2231a5d0958cb7832345427b3e8915fd6"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp37-cp37m-win_amd64.whl",
"has_sig": false,
"md5_digest": "acd4a6e5a854b266e97037b95ae32fb4",
"packagetype": "bdist_wheel",
"python_version": "cp37",
"requires_python": null,
"size": 12708488,
"upload_time": "2024-08-08T16:51:24",
"upload_time_iso_8601": "2024-08-08T16:51:24.509760Z",
"url": "https://files.pythonhosted.org/packages/92/49/b69dbda45d4d602c8b286c72cdf2788e2ecaeb575e659987fdd792b176ee/cvc5-1.2.0-cp37-cp37m-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "639b151b4e0be21599c0075bb3ef6b7e9451e2fd9915a1bfbbf9e573d827be5c",
"md5": "a56633d04d9b3eaf826ad14ec9f19dc9",
"sha256": "e2d9a4183201bf7007b73758c1dfc69e3cb3b8529e3c0438d50808f39acef716"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp38-cp38-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "a56633d04d9b3eaf826ad14ec9f19dc9",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 9137999,
"upload_time": "2024-08-08T16:54:09",
"upload_time_iso_8601": "2024-08-08T16:54:09.272141Z",
"url": "https://files.pythonhosted.org/packages/63/9b/151b4e0be21599c0075bb3ef6b7e9451e2fd9915a1bfbbf9e573d827be5c/cvc5-1.2.0-cp38-cp38-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "9690903a15d13514e114cc73a4f54162dcec73b19fd36535aa97b39cbf718208",
"md5": "debd89d3a4b65de27d09bbb97553992a",
"sha256": "dc194f62fe640895085c63b31a0a491495e725929c331ae36b60b4e82fec53a4"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "debd89d3a4b65de27d09bbb97553992a",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 13022598,
"upload_time": "2024-08-08T16:51:11",
"upload_time_iso_8601": "2024-08-08T16:51:11.947964Z",
"url": "https://files.pythonhosted.org/packages/96/90/903a15d13514e114cc73a4f54162dcec73b19fd36535aa97b39cbf718208/cvc5-1.2.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "e66d54af7bab4d5ef509a733f0a2f33be4e1ea1221e1f33300b08b75ed81470b",
"md5": "a9c306b20b2e7c397a6744ac13cc5d86",
"sha256": "455a45bf55e993e5c0aae57b477d1e62f2608b9db8b37c653e7eb705751b841c"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp38-cp38-win_amd64.whl",
"has_sig": false,
"md5_digest": "a9c306b20b2e7c397a6744ac13cc5d86",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 12746577,
"upload_time": "2024-08-08T16:51:28",
"upload_time_iso_8601": "2024-08-08T16:51:28.320948Z",
"url": "https://files.pythonhosted.org/packages/e6/6d/54af7bab4d5ef509a733f0a2f33be4e1ea1221e1f33300b08b75ed81470b/cvc5-1.2.0-cp38-cp38-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "27544b4c860b3c15ea5574ead8e645e9ba404e9d0ca31ecec9d1de3a7d965bcf",
"md5": "01c491a2d3009f4d32c5382d489d3d58",
"sha256": "41bd4cd40e737756c9c5ffb2c449a213737f30f276341daa09d771d56274f679"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp39-cp39-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "01c491a2d3009f4d32c5382d489d3d58",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 9140460,
"upload_time": "2024-08-08T16:54:12",
"upload_time_iso_8601": "2024-08-08T16:54:12.881609Z",
"url": "https://files.pythonhosted.org/packages/27/54/4b4c860b3c15ea5574ead8e645e9ba404e9d0ca31ecec9d1de3a7d965bcf/cvc5-1.2.0-cp39-cp39-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "5f2dc54e7cddd17d76a7499f0aab10aad247bb732ff9c63c9a9bab1595189a19",
"md5": "752d1f3aeab7ffce354b2ae07166936b",
"sha256": "ed80103ddb5e577e9369dc08a243c9f7fd8ebe2a1db2bab8f5acb2bea5d43a4b"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "752d1f3aeab7ffce354b2ae07166936b",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 13048499,
"upload_time": "2024-08-08T16:51:15",
"upload_time_iso_8601": "2024-08-08T16:51:15.466010Z",
"url": "https://files.pythonhosted.org/packages/5f/2d/c54e7cddd17d76a7499f0aab10aad247bb732ff9c63c9a9bab1595189a19/cvc5-1.2.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "6a85b5b5bf2966c001363ed81c3f317107c5b0d0a7bd13c7ab214b7905f6fe86",
"md5": "94af082365790355715009ee3b47d24c",
"sha256": "2a84e2050fde57b38be2a9f791ed78ec42b2193d7b9236105ab07ecd12e339d6"
},
"downloads": -1,
"filename": "cvc5-1.2.0-cp39-cp39-win_amd64.whl",
"has_sig": false,
"md5_digest": "94af082365790355715009ee3b47d24c",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 12744852,
"upload_time": "2024-08-08T16:51:31",
"upload_time_iso_8601": "2024-08-08T16:51:31.422575Z",
"url": "https://files.pythonhosted.org/packages/6a/85/b5b5bf2966c001363ed81c3f317107c5b0d0a7bd13c7ab214b7905f6fe86/cvc5-1.2.0-cp39-cp39-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "e9cb56c29d184c111586494304d1e1abcbdb7f9377841e6acb9d8afe04bf8026",
"md5": "bae6a2d6a313b3e71adb192e6cb979fe",
"sha256": "6ce77ea727a6d1a2f721b157135c881f93884b587ad30d02af5dc2945681cfdc"
},
"downloads": -1,
"filename": "cvc5-1.2.0-pp310-pypy310_pp73-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "bae6a2d6a313b3e71adb192e6cb979fe",
"packagetype": "bdist_wheel",
"python_version": "pp310",
"requires_python": null,
"size": 9107352,
"upload_time": "2024-08-08T16:54:16",
"upload_time_iso_8601": "2024-08-08T16:54:16.627941Z",
"url": "https://files.pythonhosted.org/packages/e9/cb/56c29d184c111586494304d1e1abcbdb7f9377841e6acb9d8afe04bf8026/cvc5-1.2.0-pp310-pypy310_pp73-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "bb34bf15e4ca262146cdacdc02a3a04bce28775003e8ac4e8628f48ee59beb89",
"md5": "861f963fd68e5be579e1cf261ff5a3d3",
"sha256": "26cf7be63d84913d95c8c9bbe731cb97c876e790cf09fc613045c0ee59ee5290"
},
"downloads": -1,
"filename": "cvc5-1.2.0-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "861f963fd68e5be579e1cf261ff5a3d3",
"packagetype": "bdist_wheel",
"python_version": "pp310",
"requires_python": null,
"size": 11676081,
"upload_time": "2024-08-08T16:51:19",
"upload_time_iso_8601": "2024-08-08T16:51:19.509511Z",
"url": "https://files.pythonhosted.org/packages/bb/34/bf15e4ca262146cdacdc02a3a04bce28775003e8ac4e8628f48ee59beb89/cvc5-1.2.0-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "b83714af63e0e913979298fc8c4d6aa928d835b6cd5c89f52b00d027347f94c7",
"md5": "62173597e14f13daa8a1ff1e04696e48",
"sha256": "5c26f914222f419d6f41693c497362f49844fed2e2e0977aed66152c16317528"
},
"downloads": -1,
"filename": "cvc5-1.2.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "62173597e14f13daa8a1ff1e04696e48",
"packagetype": "bdist_wheel",
"python_version": "pp37",
"requires_python": null,
"size": 11703236,
"upload_time": "2024-08-08T16:51:23",
"upload_time_iso_8601": "2024-08-08T16:51:23.141636Z",
"url": "https://files.pythonhosted.org/packages/b8/37/14af63e0e913979298fc8c4d6aa928d835b6cd5c89f52b00d027347f94c7/cvc5-1.2.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "39e20fbe828d1ac3aab498d3c90d35b4d02a241637478f1f3cf4cf13ab258c64",
"md5": "9d78cf65fba7e4227000550358bcc477",
"sha256": "e97e1e64a0c5c0603d6988343932ac377bd2807e386e9f6511112848adc2511c"
},
"downloads": -1,
"filename": "cvc5-1.2.0-pp38-pypy38_pp73-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "9d78cf65fba7e4227000550358bcc477",
"packagetype": "bdist_wheel",
"python_version": "pp38",
"requires_python": null,
"size": 9111187,
"upload_time": "2024-08-08T16:54:19",
"upload_time_iso_8601": "2024-08-08T16:54:19.537118Z",
"url": "https://files.pythonhosted.org/packages/39/e2/0fbe828d1ac3aab498d3c90d35b4d02a241637478f1f3cf4cf13ab258c64/cvc5-1.2.0-pp38-pypy38_pp73-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "3aacae43f7bcbcda1c7dcd7500723950ef5062ba310e82d08b497b618021d811",
"md5": "91c2e9ee99cfa214639a967ed7e40d3c",
"sha256": "534b9348fd620d64c05ea3a1f1890850f7b0a1c192e3cf8f4ebfe079288de988"
},
"downloads": -1,
"filename": "cvc5-1.2.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "91c2e9ee99cfa214639a967ed7e40d3c",
"packagetype": "bdist_wheel",
"python_version": "pp38",
"requires_python": null,
"size": 11702791,
"upload_time": "2024-08-08T16:51:26",
"upload_time_iso_8601": "2024-08-08T16:51:26.878965Z",
"url": "https://files.pythonhosted.org/packages/3a/ac/ae43f7bcbcda1c7dcd7500723950ef5062ba310e82d08b497b618021d811/cvc5-1.2.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "dd7fb0863b50a8741970b2939d4ccda5df64c9a0d0bd686dbf79f81249d89840",
"md5": "d005dba5fa22b3a127c8e335296380d5",
"sha256": "efcb59e407a02328efc14b71d3965f290f919d9c4c999073f4cc60701839c524"
},
"downloads": -1,
"filename": "cvc5-1.2.0-pp39-pypy39_pp73-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "d005dba5fa22b3a127c8e335296380d5",
"packagetype": "bdist_wheel",
"python_version": "pp39",
"requires_python": null,
"size": 9107152,
"upload_time": "2024-08-08T16:54:23",
"upload_time_iso_8601": "2024-08-08T16:54:23.344426Z",
"url": "https://files.pythonhosted.org/packages/dd/7f/b0863b50a8741970b2939d4ccda5df64c9a0d0bd686dbf79f81249d89840/cvc5-1.2.0-pp39-pypy39_pp73-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "815a2d57c63a8ce82d8fcb236b210b913792f24edbdfbf281bf0229022f91b93",
"md5": "34c918541b91cbc9772d655a37994050",
"sha256": "c3a6b3829755925116ecff8731b305e63b2f73445b192131e648c0da787fa2d9"
},
"downloads": -1,
"filename": "cvc5-1.2.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "34c918541b91cbc9772d655a37994050",
"packagetype": "bdist_wheel",
"python_version": "pp39",
"requires_python": null,
"size": 11675519,
"upload_time": "2024-08-08T16:51:30",
"upload_time_iso_8601": "2024-08-08T16:51:30.234289Z",
"url": "https://files.pythonhosted.org/packages/81/5a/2d57c63a8ce82d8fcb236b210b913792f24edbdfbf281bf0229022f91b93/cvc5-1.2.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-08-08 16:53:56",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "cvc5",
"github_project": "cvc5",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"lcname": "cvc5"
}
JSON
