Skip to main content

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

Project description

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

Installation

pip install gavel

Development

To run the all tests run:

tox

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

Windows
set PYTEST_ADDOPTS=--cov-append
tox
Other
PYTEST_ADDOPTS=--cov-append tox

Changelog

0.0.0 (2019-02-19)

  • First release on PyPI.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for gavel, version 0.0.6
Filename, size File type Python version Upload date Hashes
Filename, size gavel-0.0.6-py3-none-any.whl (141.4 kB) File type Wheel Python version py3 Upload date Hashes View hashes
Filename, size gavel-0.0.6.tar.gz (149.4 kB) File type Source Python version None Upload date Hashes View hashes

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page