{
    "info": {
        "author": "Martin Glauer",
        "author_email": "glauer@iks.cs.ovgu.de",
        "bugtrack_url": null,
        "classifiers": [
            "Intended Audience :: Developers",
            "Programming Language :: Python",
            "Programming Language :: Python :: 3.5",
            "Programming Language :: Python :: 3.6",
            "Programming Language :: Python :: 3.7",
            "Topic :: Utilities"
        ],
        "description": "========\nOverview\n========\n\n\n\nA toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.\n\nInstallation\n============\n\n::\n\n    pip install gavel\n\nDocumentation\n=============\n\n\nhttps://python-gavel.readthedocs.io/\n\n\nDevelopment\n===========\n\nTo run the all tests run::\n\n    tox\n\nNote, to combine the coverage data from all the tox environments run:\n\n.. list-table::\n    :widths: 10 90\n    :stub-columns: 1\n\n    - - Windows\n      - ::\n\n            set PYTEST_ADDOPTS=--cov-append\n            tox\n\n    - - Other\n      - ::\n\n            PYTEST_ADDOPTS=--cov-append tox\n\n\nChangelog\n=========\n\n0.0.0 (2019-02-19)\n------------------\n\n* First release on PyPI.\n\n\n",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/MGlauer/python-gavel",
        "keywords": "",
        "license": "AGPL",
        "maintainer": "",
        "maintainer_email": "",
        "name": "gavel",
        "package_url": "https://pypi.org/project/gavel/",
        "platform": "",
        "project_url": "https://pypi.org/project/gavel/",
        "project_urls": {
            "Changelog": "https://python-gavel.readthedocs.io/en/latest/changelog.html",
            "Documentation": "https://python-gavel.readthedocs.io/",
            "Homepage": "https://github.com/MGlauer/python-gavel",
            "Issue Tracker": "https://github.com/MGlauer/python-gavel/issues"
        },
        "release_url": "https://pypi.org/project/gavel/0.0.0/",
        "requires_dist": [
            "click",
            "sqlalchemy (>=1.2)",
            "antlr4-python3-runtime",
            "pre-commit",
            "graphviz",
            "pytest",
            "requests"
        ],
        "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*",
        "summary": "A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.",
        "version": "0.0.0"
    },
    "last_serial": 5956543,
    "releases": {
        "0.0.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "189d5c98b1614a6c47be1d054b5c12ce",
                    "sha256": "2faaa303c5dfd70ec80890a992bf43e6ef49b65368eb3668d4a60a9f996d02b6"
                },
                "downloads": -1,
                "filename": "gavel-0.0.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "189d5c98b1614a6c47be1d054b5c12ce",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*",
                "size": 135494,
                "upload_time": "2019-10-10T19:28:49",
                "url": "https://files.pythonhosted.org/packages/2f/7b/ea4205467ff8a0b79ff101cb3dcf217506f40d4a1bd4cea49e70e84ed3ae/gavel-0.0.0-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "48c4e1d24df3264ca931a336b8aa42a7",
                    "sha256": "510db4de15896c025f9333bf135b8acda61a25198e8622ea891a54e01317f4a3"
                },
                "downloads": -1,
                "filename": "gavel-0.0.0.tar.gz",
                "has_sig": false,
                "md5_digest": "48c4e1d24df3264ca931a336b8aa42a7",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*",
                "size": 140414,
                "upload_time": "2019-10-10T19:28:52",
                "url": "https://files.pythonhosted.org/packages/0e/e8/ae7dfab4cbd36d22053e3acd552dc9742eb3a6b7719ef205236cc7658ca2/gavel-0.0.0.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "189d5c98b1614a6c47be1d054b5c12ce",
                "sha256": "2faaa303c5dfd70ec80890a992bf43e6ef49b65368eb3668d4a60a9f996d02b6"
            },
            "downloads": -1,
            "filename": "gavel-0.0.0-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "189d5c98b1614a6c47be1d054b5c12ce",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*",
            "size": 135494,
            "upload_time": "2019-10-10T19:28:49",
            "url": "https://files.pythonhosted.org/packages/2f/7b/ea4205467ff8a0b79ff101cb3dcf217506f40d4a1bd4cea49e70e84ed3ae/gavel-0.0.0-py3-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "48c4e1d24df3264ca931a336b8aa42a7",
                "sha256": "510db4de15896c025f9333bf135b8acda61a25198e8622ea891a54e01317f4a3"
            },
            "downloads": -1,
            "filename": "gavel-0.0.0.tar.gz",
            "has_sig": false,
            "md5_digest": "48c4e1d24df3264ca931a336b8aa42a7",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*",
            "size": 140414,
            "upload_time": "2019-10-10T19:28:52",
            "url": "https://files.pythonhosted.org/packages/0e/e8/ae7dfab4cbd36d22053e3acd552dc9742eb3a6b7719ef205236cc7658ca2/gavel-0.0.0.tar.gz"
        }
    ]
}