Metadata-Version: 2.4
Name: gavel
Version: 0.2.0
Summary: A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.
Home-page: https://github.com/gavel-tool/python-gavel
Author: Martin Glauer
Author-email: martin.glauer@ovgu.de
License: AGPL
Project-URL: Documentation, https://python-gavel.readthedocs.io/
Project-URL: Changelog, https://python-gavel.readthedocs.io/en/latest/changelog.html
Project-URL: Issue Tracker, https://github.com/MGlauer/python-gavel/issues
Classifier: Intended Audience :: Developers
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Utilities
Requires-Python: >=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*
License-File: LICENSE
License-File: AUTHORS.rst
Requires-Dist: click
Requires-Dist: lark-parser
Requires-Dist: pre-commit
Requires-Dist: graphviz
Requires-Dist: pytest
Requires-Dist: requests
Requires-Dist: lxml
Requires-Dist: beautifulsoup4
Requires-Dist: importlib-metadata>=1.0; python_version < "3.8"
Provides-Extra: dev
Requires-Dist: black; extra == "dev"
Requires-Dist: isort; extra == "dev"
Requires-Dist: pre-commit; extra == "dev"
Requires-Dist: sphinx-click; extra == "dev"
Dynamic: author
Dynamic: author-email
Dynamic: classifier
Dynamic: description
Dynamic: home-page
Dynamic: license
Dynamic: license-file
Dynamic: project-url
Dynamic: provides-extra
Dynamic: requires-dist
Dynamic: requires-python
Dynamic: summary

========
Overview
========



A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.

Installation
============

::

    pip install gavel

Documentation
=============


https://gavel.readthedocs.io/


Development
===========

To run the all tests run::

    tox

Note, to combine the coverage data from all the tox environments run:

.. list-table::
    :widths: 10 90
    :stub-columns: 1

    - - Windows
      - ::

            set PYTEST_ADDOPTS=--cov-append
            tox

    - - Other
      - ::

            PYTEST_ADDOPTS=--cov-append tox


Changelog
=========

0.0.0 (2019-02-19)
------------------

* First release on PyPI.
