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

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:

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.

Source Distribution

gavel-0.1.7.tar.gz (62.1 kB view details)

Uploaded Source

Built Distribution

gavel-0.1.7-py3-none-any.whl (46.7 kB view details)

Uploaded Python 3

File details

Details for the file gavel-0.1.7.tar.gz.

File metadata

  • Download URL: gavel-0.1.7.tar.gz
  • Upload date:
  • Size: 62.1 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for gavel-0.1.7.tar.gz
Algorithm Hash digest
SHA256 e1294cfcab918b88703c81f36054c4958358b1783f2a7f2c99d6816137b50af0
MD5 623da52e17135ca4a3669dd812b21a5b
BLAKE2b-256 e8a2a3877bfbd3fd9067775b5fc22b2d2d09949774b6513ada71f01226729ac2

See more details on using hashes here.

Provenance

The following attestation bundles were made for gavel-0.1.7.tar.gz:

Publisher: python-publish.yml on gavel-tool/python-gavel

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file gavel-0.1.7-py3-none-any.whl.

File metadata

  • Download URL: gavel-0.1.7-py3-none-any.whl
  • Upload date:
  • Size: 46.7 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for gavel-0.1.7-py3-none-any.whl
Algorithm Hash digest
SHA256 a4b9cf2b5fb7d990c64e54481811400ffe4c923637cf24589174058d950d5820
MD5 0353212bac54fd518994d439628640de
BLAKE2b-256 22754a6a45fc4be2790186029b057f6d5b0fa763faa2318c5bf90f28d692037e

See more details on using hashes here.

Provenance

The following attestation bundles were made for gavel-0.1.7-py3-none-any.whl:

Publisher: python-publish.yml on gavel-tool/python-gavel

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page