Metadata-Version: 2.1
Name: gavel
Version: 0.1.2
Summary: A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.
Home-page: https://github.com/MGlauer/python-gavel
Author: Martin Glauer
Author-email: glauer@iks.cs.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
Description: ========
        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.
        
Platform: UNKNOWN
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.*
Provides-Extra: dev
