{
    "info": {
        "author": "Evan Hubinger",
        "author_email": "evanjhub@gmail.com",
        "bugtrack_url": null,
        "classifiers": [
            "Development Status :: 3 - Alpha",
            "License :: OSI Approved :: Apache Software License",
            "Operating System :: OS Independent",
            "Topic :: Software Development :: Libraries :: Python Modules"
        ],
        "description": "",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/evhub/pyprover",
        "keywords": "",
        "license": "",
        "maintainer": "",
        "maintainer_email": "",
        "name": "pyprover",
        "package_url": "https://pypi.org/project/pyprover/",
        "platform": "",
        "project_url": "https://pypi.org/project/pyprover/",
        "project_urls": {
            "Homepage": "https://github.com/evhub/pyprover"
        },
        "release_url": "https://pypi.org/project/pyprover/0.4.7/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "Resolution theorem proving for predicate logic in pure Python.",
        "version": "0.4.7"
    },
    "last_serial": 5454824,
    "releases": {
        "0.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "d2035e7439e27beefa601e4a8f9f340c",
                    "sha256": "9ad9b527b35082de5b6c1ee50437219762f22927c39926cc684a1cc69d296ca4"
                },
                "downloads": -1,
                "filename": "pyprover-0.0.1-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "d2035e7439e27beefa601e4a8f9f340c",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 18896,
                "upload_time": "2017-03-05T02:34:43",
                "url": "https://files.pythonhosted.org/packages/09/d9/5a81921f025d168e35fdc61ca0497187470cf2958a1379017a2a316ac6dc/pyprover-0.0.1-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "f3f3e43e6b542a2d5caafd561e8f4a8d",
                    "sha256": "de88b76b06f267931f39e54c029dca1c3d9d03622aa9ac75ac8715bf7f6727b3"
                },
                "downloads": -1,
                "filename": "pyprover-0.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "f3f3e43e6b542a2d5caafd561e8f4a8d",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 17931,
                "upload_time": "2017-03-05T02:34:44",
                "url": "https://files.pythonhosted.org/packages/3b/d3/518b897a5e83ba72a2b20f68b92813f400b9d76fda6875184ca6f1888e1d/pyprover-0.0.1.tar.gz"
            }
        ],
        "0.0.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "c851223222b389616f50fe203f9da54f",
                    "sha256": "87728e490a97c1e192cdec7ef6a4b29dd5c3d404d013dea7ddc73bf6b92deae9"
                },
                "downloads": -1,
                "filename": "pyprover-0.0.2-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "c851223222b389616f50fe203f9da54f",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 18895,
                "upload_time": "2017-03-05T02:46:58",
                "url": "https://files.pythonhosted.org/packages/91/4c/51f26483eceb1cd257938d3ae79f077c2ff2dace0f1f6b1eb016839cde34/pyprover-0.0.2-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "af27f1c4f102b7f47f5da1b3ed5b755b",
                    "sha256": "879e4b3ecc239d134e179d86ca83362c5c29d4e1f8fc42bfd3b4eb65fb42bec6"
                },
                "downloads": -1,
                "filename": "pyprover-0.0.2.tar.gz",
                "has_sig": false,
                "md5_digest": "af27f1c4f102b7f47f5da1b3ed5b755b",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 17960,
                "upload_time": "2017-03-05T02:47:00",
                "url": "https://files.pythonhosted.org/packages/9e/48/656c328e0571e4c0f6cec61c0a3701f3de7216f2703eea61d9c2a38fc5bc/pyprover-0.0.2.tar.gz"
            }
        ],
        "0.1.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "6590d8960aae11985faf2007b7f9538d",
                    "sha256": "3c156b0b569f8186f8c7dc28a222109ae2eb7766283e76e8f5a94f221216980e"
                },
                "downloads": -1,
                "filename": "pyprover-0.1.0-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "6590d8960aae11985faf2007b7f9538d",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 18997,
                "upload_time": "2017-03-05T09:54:19",
                "url": "https://files.pythonhosted.org/packages/60/b5/4a63f8fa93f4dd761c28b48a8d082922156ee1ecfa5426047c8d64a77dde/pyprover-0.1.0-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "0d17d6c632de92407632b1f9b18f6794",
                    "sha256": "fefb1ab58dfd106a6bc2ef09e4b9c9db999ccec2611ae56310ecae67dd5bc6c0"
                },
                "downloads": -1,
                "filename": "pyprover-0.1.0.tar.gz",
                "has_sig": false,
                "md5_digest": "0d17d6c632de92407632b1f9b18f6794",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 18008,
                "upload_time": "2017-03-05T09:54:20",
                "url": "https://files.pythonhosted.org/packages/36/19/1b9ac8cb7e89be7bbc30a23c749fa233defb9e32f402c21d538a1ae2ac6d/pyprover-0.1.0.tar.gz"
            }
        ],
        "0.1.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "d907bc2f54dd4968e4c04cf260fb5332",
                    "sha256": "f6e8036adf5618364c09fc14ec8f4ca47b13b88a1cd66692a63d4c1ada0ecee6"
                },
                "downloads": -1,
                "filename": "pyprover-0.1.1-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "d907bc2f54dd4968e4c04cf260fb5332",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 22391,
                "upload_time": "2017-03-06T08:53:05",
                "url": "https://files.pythonhosted.org/packages/a9/48/f3c3edc39e0b7e8ad4f506a7a187ed557f856f2881ddea54e9f664dbe5f4/pyprover-0.1.1-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "95cb2005a7a6c455c05ebc049712544d",
                    "sha256": "70ea4188a6ac9e8e2972bd07f4d34a9e497f6f6a971614f71dbd75bb2ea945e7"
                },
                "downloads": -1,
                "filename": "pyprover-0.1.1.tar.gz",
                "has_sig": false,
                "md5_digest": "95cb2005a7a6c455c05ebc049712544d",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 21250,
                "upload_time": "2017-03-06T08:53:06",
                "url": "https://files.pythonhosted.org/packages/78/aa/0ec01c0390fcfe390cd981f272e0231e79054476d113a4ff4aeb6971778a/pyprover-0.1.1.tar.gz"
            }
        ],
        "0.2.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "a722eba3f6723bd3e0ed05f6e53181ee",
                    "sha256": "0f11e9e34eac740c9fa79c3fc9636c7f27fe97da6051a29dd2929bf1d4b96ccb"
                },
                "downloads": -1,
                "filename": "pyprover-0.2.0-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "a722eba3f6723bd3e0ed05f6e53181ee",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 24128,
                "upload_time": "2017-03-07T23:26:20",
                "url": "https://files.pythonhosted.org/packages/02/5d/6a8e4c32b03d2f819288352ed4ad6c3e3d27a3a350fa63bb0cf46aadea42/pyprover-0.2.0-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "2afe640342c84b684af844e163b801f2",
                    "sha256": "bb01097208131572cc7270da136ac68ead642abd30b60b66c4323fa205a32392"
                },
                "downloads": -1,
                "filename": "pyprover-0.2.0.tar.gz",
                "has_sig": false,
                "md5_digest": "2afe640342c84b684af844e163b801f2",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 23387,
                "upload_time": "2017-03-07T23:26:21",
                "url": "https://files.pythonhosted.org/packages/8a/21/6d4515667f537994b4b0bb414c2e096100f53f74a0f2ff36212181638d35/pyprover-0.2.0.tar.gz"
            }
        ],
        "0.2.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "f90a1af1ea3aaeeb85a44fbb598aab49",
                    "sha256": "647053ed5ffb6cc0c218b232609119c055fa2be38be80f6904d087b3c84f6253"
                },
                "downloads": -1,
                "filename": "pyprover-0.2.1.tar.gz",
                "has_sig": false,
                "md5_digest": "f90a1af1ea3aaeeb85a44fbb598aab49",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 23341,
                "upload_time": "2017-03-08T00:37:41",
                "url": "https://files.pythonhosted.org/packages/37/f2/4b8e998fc82e45c2a292dbffcb3343385ba83bbb09d16a606b54f6b5c88a/pyprover-0.2.1.tar.gz"
            }
        ],
        "0.3.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "7fd023759cafdba59c326325c8b23306",
                    "sha256": "069f91aeafba37d3799d54b47d32e915012211a4c2c657ab47f697dc80122842"
                },
                "downloads": -1,
                "filename": "pyprover-0.3.0.tar.gz",
                "has_sig": false,
                "md5_digest": "7fd023759cafdba59c326325c8b23306",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 25525,
                "upload_time": "2017-03-08T09:13:05",
                "url": "https://files.pythonhosted.org/packages/42/62/cebb01fd7c81d1a7b2763fc66ea2074a6af1295d0365e97f72413cebf5db/pyprover-0.3.0.tar.gz"
            }
        ],
        "0.3.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "84a57f5a2b9304ab573e373773fbd777",
                    "sha256": "e5ab09b410c9ad9e993d05ab6112dab8b29dd0f8efa6ec8f1cbaf578bae32e35"
                },
                "downloads": -1,
                "filename": "pyprover-0.3.1.tar.gz",
                "has_sig": false,
                "md5_digest": "84a57f5a2b9304ab573e373773fbd777",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 21394,
                "upload_time": "2017-03-11T06:46:06",
                "url": "https://files.pythonhosted.org/packages/1b/48/ce9d01fdf9d2552f957bc224a815ef3b7fa213534fe55743edf86be9c0e8/pyprover-0.3.1.tar.gz"
            }
        ],
        "0.4.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "b620ff7016e3af1869b88efc4c1daee0",
                    "sha256": "31aad77171b1367ebb89f0932f52d5420ba7a00855eaee96913a3b66a538155d"
                },
                "downloads": -1,
                "filename": "pyprover-0.4.0.tar.gz",
                "has_sig": false,
                "md5_digest": "b620ff7016e3af1869b88efc4c1daee0",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 22738,
                "upload_time": "2017-03-14T05:54:29",
                "url": "https://files.pythonhosted.org/packages/53/2a/c2dbbd9b68a97aa0dc71d8a8e790375df206a24bb5cdcf1a861818f372d8/pyprover-0.4.0.tar.gz"
            }
        ],
        "0.4.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "d76e3d3d468bc647e519f373c68b3c49",
                    "sha256": "85cd526230bd011b9d18e590f18e384540169ddc22cc07326092b2a43af3fd69"
                },
                "downloads": -1,
                "filename": "pyprover-0.4.1.tar.gz",
                "has_sig": false,
                "md5_digest": "d76e3d3d468bc647e519f373c68b3c49",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 23262,
                "upload_time": "2017-03-16T10:08:54",
                "url": "https://files.pythonhosted.org/packages/ed/35/1cc1844c0b17c0292def59ebba411debc8aaa846dcdf761535a6e41df286/pyprover-0.4.1.tar.gz"
            }
        ],
        "0.4.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "7b3e519ebdaa43c96973bafa76ff9614",
                    "sha256": "75ade10ca2838824ef4807ebf1c560ce491d5e0f95fc4de5da2c1f4f7924f3d3"
                },
                "downloads": -1,
                "filename": "pyprover-0.4.2.tar.gz",
                "has_sig": false,
                "md5_digest": "7b3e519ebdaa43c96973bafa76ff9614",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 23491,
                "upload_time": "2017-03-18T01:19:35",
                "url": "https://files.pythonhosted.org/packages/05/13/1f2229f2c330a361f471715caea9beeaf0726ec0c5331f78d995448e052c/pyprover-0.4.2.tar.gz"
            }
        ],
        "0.4.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "8c8aaf9a740a85e2f60ac80535c8b27d",
                    "sha256": "6e77bee6fd0c81d350cf261cac05511cee4c2dcde509085feed5347fcf9c265a"
                },
                "downloads": -1,
                "filename": "pyprover-0.4.3.tar.gz",
                "has_sig": false,
                "md5_digest": "8c8aaf9a740a85e2f60ac80535c8b27d",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 23674,
                "upload_time": "2017-03-18T09:07:47",
                "url": "https://files.pythonhosted.org/packages/e4/d3/67199591113db0db4f3d5bde96d27825d891a03da6deb8eb40e12e5db888/pyprover-0.4.3.tar.gz"
            }
        ],
        "0.4.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "07c612ea3512cb3d12b84e1ea05c0100",
                    "sha256": "87e7e8330af52b73a20d5c15634a8eae8f1fae0979c2a64e3ef75455b5c7a8dc"
                },
                "downloads": -1,
                "filename": "pyprover-0.4.4.tar.gz",
                "has_sig": false,
                "md5_digest": "07c612ea3512cb3d12b84e1ea05c0100",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 26184,
                "upload_time": "2017-08-26T20:05:51",
                "url": "https://files.pythonhosted.org/packages/f2/43/b4c52fcfd0e68864d5b055bf062c9c28ba534a0cd8cbc7df27b7c9375ef1/pyprover-0.4.4.tar.gz"
            }
        ],
        "0.4.5": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "e84dfceecc0c6b2aeaca0e951d3c9ef6",
                    "sha256": "b2425c5862f6e93fbc47c8e0b9be9114afbcd4ba6e82fe679fdd9186926b1fa4"
                },
                "downloads": -1,
                "filename": "pyprover-0.4.5.tar.gz",
                "has_sig": false,
                "md5_digest": "e84dfceecc0c6b2aeaca0e951d3c9ef6",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 29353,
                "upload_time": "2019-03-13T09:13:08",
                "url": "https://files.pythonhosted.org/packages/34/1e/013a19794c868035a5c9b9dfc08eea97c04d5fa85bdcaa8aa1823f4a2826/pyprover-0.4.5.tar.gz"
            }
        ],
        "0.4.6": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "5425073ea70ad6355de7aeaf739f4eaf",
                    "sha256": "d6c98ae093382e06d88c67142ad00ef83db1e83c45fdb0f961c9efbeb7280d36"
                },
                "downloads": -1,
                "filename": "pyprover-0.4.6.tar.gz",
                "has_sig": false,
                "md5_digest": "5425073ea70ad6355de7aeaf739f4eaf",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 29490,
                "upload_time": "2019-04-16T22:17:35",
                "url": "https://files.pythonhosted.org/packages/6d/a2/78d9d7d377e11dfe1ea7bc2fcf7d986f3c21dd959e12b9d23a71751d3cb3/pyprover-0.4.6.tar.gz"
            }
        ],
        "0.4.7": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "68e05f18c51e0dbcf175895532de9f96",
                    "sha256": "c6f66c754027b6b2d34d1763ded8782424f13d0ac7a8b6f73d329df6e5275acb"
                },
                "downloads": -1,
                "filename": "pyprover-0.4.7.tar.gz",
                "has_sig": false,
                "md5_digest": "68e05f18c51e0dbcf175895532de9f96",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 30081,
                "upload_time": "2019-06-27T03:30:19",
                "url": "https://files.pythonhosted.org/packages/1e/b9/19adcb4c255bf7a81182d0277efe8416f7f368117322b022c00983c2d7e2/pyprover-0.4.7.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "68e05f18c51e0dbcf175895532de9f96",
                "sha256": "c6f66c754027b6b2d34d1763ded8782424f13d0ac7a8b6f73d329df6e5275acb"
            },
            "downloads": -1,
            "filename": "pyprover-0.4.7.tar.gz",
            "has_sig": false,
            "md5_digest": "68e05f18c51e0dbcf175895532de9f96",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 30081,
            "upload_time": "2019-06-27T03:30:19",
            "url": "https://files.pythonhosted.org/packages/1e/b9/19adcb4c255bf7a81182d0277efe8416f7f368117322b022c00983c2d7e2/pyprover-0.4.7.tar.gz"
        }
    ]
}